Back to Results
First PageMeta Content
Formal methods / Software engineering / Theoretical computer science / Predicate transformer semantics / Computing / Loop invariant / Invariant / 120-cell


Compositional Safety Verification with Max-SMT Marc Brockschmidt ∗ , Daniel Larraz † , Albert Oliveras † , Enric Rodr´ıguez-Carbonell † and Albert Rubio
Add to Reading List

Document Date: 2015-07-15 04:42:02


Open Document

File Size: 378,77 KB

Share Result on Facebook
UPDATE