Online Enumeration of All Minimal Inductive Validity Cores
Authors:
- 30 May 2018
- book chapter
- Published by Springer Nature
- p. 189-204
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Proof-based coverage metrics for formal verification2017
- Efficient generation of all minimal inductive validity cores2017
- Efficient generation of inductive validity cores for safety properties2016
- Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis2016
- Requirements Analysis of a Quad-Redundant Flight Control System2015
- A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance2008
- Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques2008
- Vacuity detection in temporal model checkingInternational Journal on Software Tools for Technology Transfer, 2003
- Coverage Metrics for Formal Verification2003
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991