reduction techniques used in PRISM

16 views

Skip to first unread message

Arpan Bag

unread,

Jun 8, 2026, 3:34:17 AMJun 8

to PRISM model checker

Hi,

I wanted to know about the reduction techniques used in PRISM. I understand that PRISM uses symmetry reduction. Does PRISM support any other partial order reduction techniques?

Thanks and regards,

Arpan

Dave Parker

unread,

Jun 20, 2026, 4:27:54 AMJun 20

to PRISM model checker

Hi Arpan,

Bisimulation minimisation is also supported (switch -bisim), but there is no partial order reduction implemented currently.

Best wishes,

Dave

Arpan Bag

unread,

Jun 25, 2026, 3:03:43 AM (9 days ago) Jun 25

to PRISM model checker

Okay, thank you.

Reply all

Reply to author

Forward

0 new messages