gamma
gamma copied to clipboard
Adding post-processing steps in the XSTS mapping to decomposte monolithic transitions
An example:
trans {
a := 10;
choice (
assume b < 10;
....
} or {
assume b >= 10;
....
}
}
trans {
a := 10;
assume b < 10;
}
trans {
a := 10;
assume b >= 10;
}