Early verification and validation of mission critical systems
- 21 December 2006
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 30 (3) , 233-247
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Deriving operational software specifications from system goals2002
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking2002
- Promoting Constraints to First-Class StatusLecture Notes in Computer Science, 2000
- Graphical animation of behavior models2000
- Experiences using lightweight formal methods for requirements modelingIEEE Transactions on Software Engineering, 1998
- Formal refinement patterns for goal-driven requirements elaboration1996
- High Assurance Computer Systems: A Research Agenda1995
- Goal-directed requirements acquisitionScience of Computer Programming, 1993
- The Temporal Logic of Reactive and Concurrent Systems1992
- Specifying Message Passing and Time-Critical Systems with Temporal Logic1992