BoogiePL
From MaRDI portal
Software:33328
swMATH21521MaRDI QIDQ33328FDOQ33328
Author name not available (Why is that?)
Cited In (11)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
- An SMT theory of fixed-point arithmetic
- Hoare-style logic for unstructured programs
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
- DKAL and Z3: a logic embedding experiment
- LCTD: test-guided proofs for C programs on LLVM
- Programming Languages and Systems
- Leveraging compiler intermediate representation for multi- and cross-language verification
- Cost analysis of object-oriented bytecode programs
- A dynamic logic for unstructured programs with embedded assertions
This page was built for software: BoogiePL
