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