test_8.data 371 Bytes
Newer Older
1 2
Aicraft Landing System model, reachability, DFS, abstract inclusion test
./tiamo reach tests/als.xml -cora -order DFS -incl sri
Maximilien Colange's avatar
Maximilien Colange committed
3 4 5

Input automaton parsed, computing LU bounds
Took 0 seconds to compute LU bounds
6 7 8 9 10 11 12

discrete states:	41
states seen:		51
states explored:	20
max size of storage:	51
incl tests:		20
pos. incl tests:	0
Maximilien Colange's avatar
Maximilien Colange committed
13 14
Result of verification is Reachable!
Path is