Pages that link to "Item:Q1589590"
From MaRDI portal
The following pages link to Verification, refinement and scheduling of real-time programs (Q1589590):
Displaying 9 items.
- Runtime verification of embedded real-time systems (Q479806) (← links)
- 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)
- Refinement of trace abstraction for real-time programs (Q1685776) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- Verification of the legOS scheduler using Uppaal (Q2703732) (← links)
- Refinement-Based Verification of Interactive Real-Time Systems (Q5403466) (← links)