Oeritte: User-Friendly Counterexample Explanation for Model Checking

Oeritte: User-Friendly Counterexample Explanation for Model Checking

Thorough verification is a part of the design process of instrumentation and control systems if they must comply with crucial safety requirements. Model checking can be applied to the formal model of such a system to reason about its correctness based on the specification provided. When a violation...

Full description

Bibliographic Details
Main Authors: Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Counterexample explanation
counterexample visualization
function block diagram
NuSMV
user-friendly model checking
Online Access:https://ieeexplore.ieee.org/document/9405616/

Internet

https://ieeexplore.ieee.org/document/9405616/

Similar Items