Compositional analysis of C/C++ programs with veriSoft

DOI10.1007/S00236-006-0016-XMaRDI QIDQ2502271zbMATH OpenOpenAlexFDO

Authors Juergen Dingel

Publication date 12 September 2006

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-006-0016-x

zbMATH Keywords

visualization techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Compositional analysis for verification of parameterized systems
• scientific article; zbMATH DE number 1956590
• scientific article; zbMATH DE number 176727
• Algebraic Methodology and Software Technology

Cites work

• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• A refinement calculus for shared-variable parallel and distributed programming
• Full abstraction for a shared-variable parallel language
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• Myths about the mutual exclusion problem
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Tentative steps toward a development method for interfering programs

Cited in

(3)

• veriSoft
• CVPP: a tool set for compositional verification of control-flow safety properties
• Termination Analysis of C Programs Using Compiler Intermediate Languages

Describes a project that uses

Uses Software

• SPIN
• Bandera

This page was built for publication: Compositional analysis of C/C++ programs with veriSoft

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2502271)