BoogiePL
From MaRDI portal
Software:33328
No author found.
Related Items (11)
LCTD: test-guided proofs for C programs on LLVM ⋮ HOL-Boogie -- an interactive prover-backend for the verifying C compiler ⋮ HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier ⋮ Programming Languages and Systems ⋮ DKAL and Z3: A Logic Embedding Experiment ⋮ A Dynamic Logic for Unstructured Programs with Embedded Assertions ⋮ Hoare-style logic for unstructured programs ⋮ Cost analysis of object-oriented bytecode programs ⋮ Leveraging compiler intermediate representation for multi- and cross-language verification ⋮ A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs ⋮ An SMT theory of fixed-point arithmetic
This page was built for software: BoogiePL
