Convert non probabilistic models to PRISM models

14 views

Skip to first unread message

kiki Shao

unread,

Aug 22, 2023, 10:49:18 AM8/22/23

to PRISM model checker developers

hi~Perhaps anyone knows if there is open source software can automately convert AADL/Simulnik.. (non probabilistic models) into PRISM model (CTMC / DTMC / MDP...)?

Reply all

Reply to author

Forward

0 new messages