The following pages link to BoogiePL (Q33328):
Displaying 7 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)
