Cited in
(39)- Verifying Whiley programs with Boogie
- An SMT theory of fixed-point arithmetic
- LLVM
- CPAchecker
- Predator
- Ultimate Automizer
- UFO
- LLBMC
- CBMC
- ESBMC
- Joogie
- Mezzo
- LCTD
- SeaHorn
- Coverity
- PKind
- BoogiePL
- Alms
- Klocwork
- UppSAT
- LCT
- Kotlin
- QEMU
- Calysto
- Cascade
- CIVL
- Crust
- GraVy
- Pyston
- Rust2Viper
- QF_FP
- Partitioned memory models for program analysis
- LCTD: test-guided proofs for C programs on LLVM
- Model checking boot code from AWS data centers
- Leveraging Horn clause solving for compositional verification of PLC software
- Leveraging compiler intermediate representation for multi- and cross-language verification
- A unifying view on SMT-based software verification
- Relational program reasoning using compiler IR
- Jasmin
This page was built for software: SMACK
