ltscmp — Compares two labeled transition systems
ltscmp
[ -s
| {
-b
[-cycle
]
[-indir
]
} ] [-statm
]
input1.ext1
input2.ext2
svc | bcg | aut | dir | dmp ext1
::=
Compares two labeled transition systems written in
and input1.ext1
.
Exits with 0 if they are equivalent, exits with 1 otherwise.
input2.ext2