Model-Driven Software Verification
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Science and Business Media LLC ,2005
- An automated verification method for distributed systems software based on model extractionIEEE Transactions on Software Engineering, 2002
- CMCPublished by Association for Computing Machinery (ACM) ,2002
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Logic Verification of ANSI-C Code with SPINLecture Notes in Computer Science, 2000
- On model-checking for fragments of μ-calculusLecture Notes in Computer Science, 1993