Runtime Efficient State Compaction in Spin

Theoretical and Practical Aspects of SPIN Model Checking - Lecture Notes in Computer Science ◽

10.1007/3-540-48234-2_2 ◽

1999 ◽

pp. 12-21 ◽

Author(s):

J Geldenhuys ◽

P J A de Villiers ◽

John Rushby

Download Full-text