Home » Authors » Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux

Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux

Public reference bibliography and cataloged PDF materials authored or published by Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux.

Found 1 document(s) Page 1 of 1

FAR-Cubicle — A new reachability algorithm for Cubicle

Year: 2017 • Source: hal.science • Listed PDF

We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it in Cubicle, a model checker for verifyi...