Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification
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 a high-level mathematical model that defines the correct behavior of the sys...
Main Author: | |
---|---|
Format: | Others |
Published: |
North Dakota State University
2021
|
Subjects: | |
Online Access: | https://hdl.handle.net/10365/32255 |