Conference paper
Policy validation for system automation: A case study
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
We describe the experience of modeling and formally verifying a software cache algorithm using the model checker RuleBase. Contrary to prevailing wisdom, we used a highly detailed model created directly from the C code itself, rather than a high-level abstract model. © Springer-Verlag 2004.
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
Cindy Eisner
International Journal on Software Tools for Technology Transfer
Cindy Eisner, Dana Fisman
FMCAD 2008
Eli Arbel, Cindy Eisner, et al.
DAC 2009