The following pages link to SMACK (Q35084):
Displaying 9 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- Model checking boot code from AWS data centers (Q2050104) (← links)
- An SMT theory of fixed-point arithmetic (Q2096435) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Leveraging Horn clause solving for compositional verification of PLC software (Q2177778) (← links)
- Partitioned Memory Models for Program Analysis (Q2961587) (← links)