|
Dear List Members,
I am looking for some detail explanation of the
procedure to transform from IL code to input language of SMV model checker. Any
direction will be highly appreciated.
Thanking you in advance.
Devinder Thapa
PhD student
AJOU University
South Korea
Tel: 082-31-219-2429
|
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
