SMACK
From MaRDI portal
Software:35084
swMATH23311MaRDI QIDQ35084FDOQ35084
Author name not available (Why is that?)
Cited In (9)
- Verifying Whiley programs with Boogie
- An SMT theory of fixed-point arithmetic
- 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
This page was built for software: SMACK
