Verification, refinement and scheduling of real-time programs
From MaRDI portal
Publication:1589590
DOI10.1016/S0304-3975(00)00091-8zbMath0954.68099MaRDI QIDQ1589590
Publication date: 12 December 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Specification and compositional verification of real-time systems
- The existence of refinement mappings
- A calculus of refinements for program derivations
- A calculus of durations
- Temporal proof methodologies for timed transition systems
- Verification of schedulability for real-time programs
- Formal verification of parallel programs
- Reasoning about programs by exploiting the environment
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment