Flaw Detection in Formal Specifications
- 8 June 2001
- book chapter
- Published by Springer Nature
- p. 642-657
- https://doi.org/10.1007/3-540-45744-5_52
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Interactive correctness proofs for software modules using KIVPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automating first-order relational logicACM SIGSOFT Software Engineering Notes, 2000
- Formal System Development with KIVPublished by Springer Nature ,2000
- Structured Specifications and Interactive Proofs with KIVPublished by Springer Nature ,1998
- CoFI: The Common Framework Initiative for Algebraic Specification and DevelopmentBRICS Report Series, 1997
- SATO: An efficient propositional proverLecture Notes in Computer Science, 1997
- FINDER: Finite domain enumerator system descriptionLecture Notes in Computer Science, 1994