Sharon Keidar

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Sharon Keidar, Yoav Rodeh
Searching for Counter-Examples Adaptively. IWFM (2003)
Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. CAV (2000)