The following pages link to BoogiePL (Q33328):
Displaying 11 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Cost analysis of object-oriented bytecode programs (Q764297) (← links)
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Hoare-style logic for unstructured programs (Q2038040) (← links)
- An SMT theory of fixed-point arithmetic (Q2096435) (← links)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler (Q2655335) (← links)
- A Dynamic Logic for Unstructured Programs with Embedded Assertions (Q3067545) (← links)
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier (Q3543656) (← links)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- Programming Languages and Systems (Q5493379) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)
