”Have I Written Enough Properties?” - A Method of Comparison Between Specification and Implementation
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 280-297
- https://doi.org/10.1007/3-540-48153-2_21
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- RuleBase: an industry-oriented formal verification toolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Coverage estimation for symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1999
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Analyzing partition testing strategiesIEEE Transactions on Software Engineering, 1991
- A Method for Symbolic Verification of Synchronous CircuitsPublished by Elsevier ,1991