ocis simulation tool, which provides advanced capabilities and is available for both Unix and Windows platforms.
exp.open [exp_opt] spec[.exp] [cc_opt] xsimulator
fsp.open [fsp_opt] spec[.lts] [cc_opt] xsimulator
lnt.open [lnt_opt] spec[.lnt] [cc_opt] xsimulator
lotos.open [lotos_opt] spec[.lotos] [cc_opt] xsimulator
seq.open [seq_opt] spec[.seq] [cc_opt] xsimulator
A stack is used to maintain the execution sequence starting from the initial state and leading to the current state, thus making backtrack possible.
The list of available commands can be obtained by clicking on the "help" button.
The options exp_opt, if any, are passed to exp.open .
The options fsp_opt, if any, are passed to fsp.open .
The options lnt_opt, if any, are passed to lnt.open .
The options seq_opt, if any, are passed to seq.open .
The options cc_opt, if any, are passed to the C compiler.
Version 2.* of Xsimulator was developed by Mark Jorgensen, and further improved by Jean-Michel Frume and Hubert Garavel.
bcg , bcg_open , caesar , caesar.adt , exp , exp.open , fsp.open , lnt.open , lotos , lotos.open , ocis , seq , seq.open
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.Hubert.Garavel@inria.fr