Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems
Symbolic Model Checking
Hardware Design and Petri Nets
Hardware Design and Petri Nets
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
Direct synthesis of timed circuits from free-choice STGs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
In design of complex systems, embedded systems, and other critical systems, model checking, explores a finite state space to determine whether or not a given property holds, has played an important role. However, it is inefficiency to verify the entire systems. This article considers the case where designers of systems can extract check-points easily in model checking of formal verification. Moreover, we demonstrate some verification results by SPIN and NuSMV model checking tools.