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
- A Dynamic Logic for Unstructured Programs with Embedded Assertions
- 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
- 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
- DKAL and Z3: A Logic Embedding Experiment
This page was built for software: BoogiePL
