Efficient Approximate Verification of Promela Models Via Symmetry Markers

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_22 ◽

2007 ◽

pp. 300-315 ◽

Author(s):

Dragan Bošnački ◽

Alastair F. Donaldson ◽

Michael Leuschel ◽

Thierry Massart

Download Full-text