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 |