Java PathFinder A Translator from Java to Promela

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

10.1007/3-540-48234-2_11 ◽

1999 ◽

pp. 152-152 ◽

Author(s):

Klaus Havelund

Download Full-text