Conference paper
Resurrecting infeasible clock-gating functions
Eli Arbel, Cindy Eisner, et al.
DAC 2009
We examine the application of symbolic CTL model checking to railway interlocking software. We show that the railway interlocking systems examined exhibit the characteristics of robustness and locality, and that these characteristics allow optimizations to the model checking algorithms not possible in the general case. In order to gain a better understanding of robustness and locality, we examine in detail a small railway interlocking. © 2002 Springer-Verlag.
Eli Arbel, Cindy Eisner, et al.
DAC 2009
Cindy Eisner, Dana Fisman, et al.
PODC 2005
Cindy Eisner, Dana Fisman
FMCAD 2008
Fady Copty, Cindy Eisner, et al.
ACSAC 2018