Improved ordering of rules

26 views

Skip to first unread message

Daniel Clark

unread,

Jan 29, 2023, 10:54:59 AMJan 29

to tamarin-prover

Hi all,

A number of papers utilising Tamarin (e.g. Secure Authentication in the Grid: A formal analysis of DNP3: SAv5) use M4 to reorder rules in order to improve proof speed. Is anyone able to shed some light on how to work out this improved ordering?

Thanks in advance,

Dan

Reply all

Reply to author

Forward

0 new messages