state chart diagram to prism

21 views

Skip to first unread message

Cheikh Sadbouh

unread,

Apr 6, 2021, 8:36:12 AM4/6/21

to PRISM model checker developers

hello everyone,

I am new into prism and wander if it is possible to convert state chart diagram to xml and pass that xml file into prism to check if the model is ok or not?

best regards,

Reply all

Reply to author

Forward

0 new messages