PRISM API for Python

39 views

Skip to first unread message

Naz Az

unread,

Mar 12, 2022, 6:05:18 PM3/12/22

to PRISM model checker developers

Hello developers,

I am currently developing a program in Python and would like to fetch data from PRISM. I figured an API would help me accomplish this. However, the PRISM API on GitHub seems to be written in Java, and since I don't know much about Java, I was wondering if anyone could give me some tips on how to connect my Python program to my PRISM data.

Thank you in advance.

Best Regards

Reply all

Reply to author

Forward

0 new messages