SMACK
From MaRDI portal
swMATH23311MaRDI QIDQ35084FDOQ35084
Author name not available (Why is that?)
Official website: http://smackers.github.io/
Cited In (39)
- Verifying Whiley programs with Boogie
- Jasmin
- An SMT theory of fixed-point arithmetic
- Partitioned memory models for program analysis
- LLVM
- CPAchecker
- Predator
- Ultimate Automizer
- UFO
- LLBMC
- CBMC
- ESBMC
- Joogie
- Mezzo
- LCTD
- LCTD: test-guided proofs for C programs on LLVM
- SeaHorn
- Coverity
- PKind
- BoogiePL
- Alms
- Klocwork
- UppSAT
- LCT
- Kotlin
- QEMU
- Calysto
- Cascade
- CIVL
- Crust
- GraVy
- Pyston
- Rust2Viper
- Model checking boot code from AWS data centers
- QF_FP
- 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
This page was built for software: SMACK
