SAT-Based Fault Equivalence Checking in Functional Safety Verification.
Ai Quoc DaoMark Po-Hung LinAlan MishchenkoPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
- bounded model checking
- functional verification
- verification method
- formal verification
- model checking
- safety analysis
- fault diagnosis
- fault model
- answer set programming
- normal operation
- nuclear power plant
- consistency checking
- planning problems
- sat solvers
- search algorithm
- multiple faults
- multi agent systems
- temporal logic
- face verification
- equivalence relation