Reducing Behavioural to Structural Properties of Programs with Procedures

DOI10.1007/978-3-540-93900-9_14zbMath1206.68088OpenAlexW1959596804MaRDI QIDQ3600471

Dilian Gurov, Marieke Huisman

Publication date: 10 February 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-93900-9_14

Mathematics Subject Classification ID

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

Related Items (3)

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: Reducing Behavioural to Structural Properties of Programs with Procedures