modelchecker.sig

这是我们参加06年全国开源软件的竞赛作品

Decl 8
s$MODELCHECKER.sqsS.v$SEQUENT.;-;sV.v$VISITEDTABLE.;-;sAS.v$AGENTSUBSEM.;-;rS.V.AS.;;-;