Java PathFinder A Translator from Java to Promela
- 27 August 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Applying Model Checking in Java VerificationPublished by Springer Nature ,1999