Browsing Electrical & Computer Engineering by Subject "refinement-based verification"
Now showing items 1-2 of 2
-
Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification
(North Dakota State University, 2020)Formal verification methods have been shown to be very effective in finding corner-case bugs and ensuring the safety of embedded software systems. The use of formal verification requires a specification, which is typically ... -
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ...