Back to Results
First PageMeta Content



Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an
Add to Reading List

Document Date: 2016-02-15 05:41:47


Open Document

File Size: 400,05 KB

Share Result on Facebook
UPDATE