BoogiePL
From MaRDI portal
swMATH21521MaRDI QIDQ33328FDOQ33328
Author name not available (Why is that?)
Official website: https://www.microsoft.com/en-us/research/publication/boogiepl-a-typed-procedural-language-for-checking-object-oriented-programs/
Cited In (31)
- HOL-Boogie -- an interactive prover-backend for the verifying C compiler
- TrABin
- HolBA
- 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
- HOL-Boogie
- Predator
- GENA
- TVLA
- net.datastructures
- Joogie
- LCTD
- LCTD: test-guided proofs for C programs on LLVM
- ARMor
- DKAL
- SMACK
- Cibai
- UppSAT
- LCT
- Cloc
- Calysto
- Cascade
- GraVy
- QF_FP
- 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
