Formal methods for verification and validation of partial specifications: A case study
Authors:
- Steve EasterbrookSESteve Easterbrook
- John CallahanJCJohn Callahan
- 1 March 1998
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 40 (3) , 199-210
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Completeness and consistency in hierarchical state-based requirementsIEEE Transactions on Software Engineering, 1996
- An approach to verification and validation of a reliable multicasting protocol1996
- An Invitation to Formal MethodsComputer, 1996
- Using formal methods to develop an ATC information systemIEEE Software, 1996
- Using ViewPoints for inconsistency managementSoftware Engineering Journal, 1996
- Formal methods reality check: industrial usageIEEE Transactions on Software Engineering, 1995
- Integrating formal methods into the development processIEEE Software, 1990