SMACK
From MaRDI portal
Software:35084
No author found.
Related Items (9)
LCTD: test-guided proofs for C programs on LLVM ⋮ Leveraging Horn clause solving for compositional verification of PLC software ⋮ Partitioned Memory Models for Program Analysis ⋮ A unifying view on SMT-based software verification ⋮ Relational program reasoning using compiler IR ⋮ Model checking boot code from AWS data centers ⋮ Leveraging compiler intermediate representation for multi- and cross-language verification ⋮ An SMT theory of fixed-point arithmetic ⋮ Verifying Whiley programs with Boogie
This page was built for software: SMACK
