1-FLOW

1-FLOW

This is an example from a paper by J. Preussig, etc [7].

Flow: x'=y'=t'=1
Empty jump relation
Init: 0 <= x <= 1/\y=t=0
Unsafe: (0 <= x <= 2 /\1< y <= 2/\0 <= t< 1)
The state space: [0,2]×[0,2]×[0,4]

Input file

1-FLOW