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
- 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
- Partitioned Memory Models for Program Analysis
- A unifying view on SMT-based software verification
- Relational program reasoning using compiler IR
This page was built for software: SMACK
