Erlang -> transitions

instantiation

tomcrl.erl

rest tool

EtoPmcrl

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