3 citations · 4 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
FAR-Cubicle - A new reachability algorithm for Cubicle
Sylvain Conchon, Amit Goel, Sava Krstic +2
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…
cs.LO2018
Parameterized Model Checking Modulo Explicit Weak Memory Models
Sylvain Conchon, David Declerck, Fatiha Zaïdi
We present a modular framework for model checking parameterized array-based transition systems with explicit access operations on weak memory. Our approach extends the MCMT (Model…