αSPIN: A tool for abstract model checking
- 1 March 2004
- journal article
- research article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 5 (2-3) , 165-184
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- A Tool for Abstraction in Model CheckingElectronic Notes in Theoretical Computer Science, 2002
- Comparing Under and Over-Approximations of LTL Properties for Model CheckingElectronic Notes in Theoretical Computer Science, 2002
- Towards ANSI C Program Slicing using XMLElectronic Notes in Theoretical Computer Science, 2002
- Debugging UML Designs with Model Checking.The Journal of Object Technology, 2002
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- SPIN model checking: an introductionInternational Journal on Software Tools for Technology Transfer, 2000
- Making abstract interpretations completeJournal of the ACM, 2000
- Control and data abstraction: the cornerstones of practical formal verificationInternational Journal on Software Tools for Technology Transfer, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986