Name

ltscmp — Compares two labeled transition systems

Synopsis

ltscmp [ -s | { -b [-cycle] [-indir] } ] [-statm] input1.ext1 input2.ext2

ext1::= svc | bcg | aut | dir | dmp

Description

Compares two labeled transition systems written in input1.ext1 and input2.ext2. Exits with 0 if they are equivalent, exits with 1 otherwise.

Options

-s

Apply strong bisimulation equivalence

-b

Apply branching bisimulation equivalence

-cycle

Apply tau cycle reduction

-indir

Apply tau indirection reduction

-statm

Enable peak memory checking

Last update

16 December 2008 by Bert Lisser