Compositional Sequentialization of Periodic Programs

DOI10.1007/978-3-642-35873-9_31zbMath1426.68042OpenAlexW151208074MaRDI QIDQ2926663

Sagar Chaki, Arie Gurfinkel, Ofer Strichman, Soonho Kong

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

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

Related Items (1)

Static race detection for periodic programs

Uses Software

• Uppaal
• CBMC
• CIL

This page was built for publication: Compositional Sequentialization of Periodic Programs