Erlang -> transitions
instantiation
tomcrl.erl
rest tool
EtoPmcrl
CWI tool
instantiator
locker.mCRL
toMCRL
start verification with 2 clients
etomcrl:instantiator(locker_sup,start,[2])
Föregående bild
Nästa bild
Tillbaka till första bilden
Visa grafisk version