Compositional sequentialization of periodic programs
From MaRDI portal
Recommendations
- Compositionality Entails Sequentializability
- Compositional verification of sequential programs with procedures
- Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules
- Verification of schedulability for real-time programs
- A sequential real-time refinement calculus
This page was built for publication: Compositional sequentialization of periodic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2926663)