Temporal Reasoning for Procedural Programs

DOI10.1007/978-3-642-11319-2_7zbMath1273.68078OpenAlexW1572346004MaRDI QIDQ3656875

Swarat Chaudhuri, Rajeev Alur

Publication date: 14 January 2010

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-11319-2_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Colored nested words ⋮ Visibly pushdown transducers ⋮ Reducing behavioural to structural properties of programs with procedures ⋮ CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties ⋮ ProMoVer: Modular Verification of Temporal Safety Properties

This page was built for publication: Temporal Reasoning for Procedural Programs