Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.

Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi

Browse the full CAV paper archive.