Direct Import/Conversion of MATLAB Stateflow or C Code to PRISM
13 views
Skip to first unread message
sobi khan
Mar 4, 2024, 4:25:38 AMMar 4
to PRISM model checker
Hi,
Is it possible to directly import or convert a MATLAB stateflow diagram or C code directly into PRISM, eliminating the need for manual development of a PRISM model?
Is it possible to directly import or convert a MATLAB stateflow diagram or C code directly into PRISM, eliminating the need for manual development of a PRISM model?
Thanks
Dave Parker
Mar 17, 2024, 5:11:19 PMMar 17
to prismmod...@googlegroups.com, sobi khan
Hi Sobi,
No, we don't have such a translation I'm afraid.
Best wishes,
Dave
No, we don't have such a translation I'm afraid.
Best wishes,
Dave
Reply all
Reply to author
Forward
0 new messages