Compositional analysis of C/C++ programs with veriSoft
From MaRDI portal
Publication:2502271
DOI10.1007/s00236-006-0016-xzbMath1102.68428OpenAlexW2013586617MaRDI QIDQ2502271
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
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language
- Myths about the mutual exclusion problem
- A refinement calculus for shared-variable parallel and distributed programming
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Full abstraction for a shared-variable parallel language
- Tentative steps toward a development method for interfering programs