![[NSV2020 Bibek] Combining Zonotope Abstraction and CP for Synthesizing Inductive Invariants](https://i.vimeocdn.com/video/927601257-7c9681f8cb7c8e819832e666c68180c06ce74dd9f39f367e051e559b68690ef1-d_2400?region=us)
[NSV2020 Bibek] Combining Zonotope Abstraction and CP for Synthesizing Inductive Invariants
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants @ NSV 2020
NSV: https://nsv2020.github.io/
Get started for free
24/7 customer support
Our customer support team is available to help 24/7. Enterprise members also receive dedicated account managers and a guaranteed uptime SLA.
© 2026 Vimeo.com, Inc. All rights reserved.
TermsPrivacyYour Privacy ChoicesU.S State PrivacyCopyrightCookies