Formal Design and Verification of Real-Time Embedded Software
No abstract available.
Related papers
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software POPL 1983
- Prototyping a Real-Time Embedded System in Smalltalk OOPSLA 1989
- TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems CAV 2001
- Experience with the Normal Semantic Definition of HAL/S PLDI 1982
- Stream Compilation for Real-Time Embedded Multicore Systems CGO 2009
- A real world object modeling method for creating simulation environment of real-time systems OOPSLA 2000
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Code Generation from Formal Models for Automatic RTOS Portability CGO 2019