Sawja: Static Analysis Workshop for Java
From MaRDI portal
Publication:3067538
DOI10.1007/978-3-642-18070-5_7zbMath1308.68028arXiv1007.3353OpenAlexW3121650164WikidataQ61044840 ScholiaQ61044840MaRDI QIDQ3067538
No author found.
Publication date: 21 January 2011
Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.3353
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (4)
Hash consed points-to sets ⋮ A flow-insensitive-complete program representation ⋮ Sawja ⋮ ProMoVer: Modular Verification of Temporal Safety Properties
Uses Software
Cites Work
This page was built for publication: Sawja: Static Analysis Workshop for Java