Compositional sequentialization of periodic programs

DOI10.1007/978-3-642-35873-9_31MaRDI QIDQ2926663zbMATH OpenOpenAlexFDO

Authors Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman

Publication date 3 November 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35873-9_31

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

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

Cited in

(1)

• Static race detection for periodic programs

Describes a project that uses

Uses Software

• CIL
• CBMC
• Uppaal

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)