reduction techniques used in PRISM

4 views

Skip to first unread message

Arpan Bag

unread,

Jun 8, 2026, 3:34:17 AM (yesterday) Jun 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

Reply all

Reply to author

Forward

0 new messages