Timed Refinement for Verification of Real-Time Object Code Programs
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 in severe consequences such as loss of money, time and human life. These rea...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
North Dakota State University
2021
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10365/31740 |