TY  - RPRT
TI  - FAR-Cubicle - A new reachability algorithm for Cubicle
AU  - Sylvain Conchon
AU  - Amit Goel
AU  - Sava Krstic
AU  - Rupak Majumdar
AU  - Mattias Roux
PY  - 2018
DO  - 10.23919/fmcad.2017.8102256
UR  - https://arxiv.org/abs/1811.08131
ID  - 1811.08131
ER  -