Sharon Keidar

According to our database, Sharon Keidar authored at least 2 papers between 2000 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Searching for Counter-Examples Adaptively.

Sharon Keidar, Yoav Rodeh

Proceedings of the 6th International Workshop on Formal Methods, 2003

2000

FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.

Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 12th International Conference, 2000