Pages that link to "Item:Q1904642"
From MaRDI portal
The following pages link to Verification of schedulability for real-time programs (Q1904642):
Displaying 10 items.
- Using program transformations to provide safety properties for real-time systems (Q704786) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Dynamic scheduling and fault-tolerance: Specification and verification (Q1595890) (← links)
- Verification of the legOS scheduler using Uppaal (Q2703732) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- Verifying weakly-hard real-time properties of traffic streams in switched networks (Q5140800) (← links)
- Automatic Verification of Bossa Scheduler Properties (Q5178992) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464757) (← links)