Vacuity in practice: temporal antecedent failure
- Shoham Ben-David
- Fady Copty
- et al.
- 2015
- Formal Methods in System Design
Publications
10 results for Shoham Ben-David
Explaining counterexamples using causality
- Ilan Beer
- Shoham Ben-David
- et al.
- 2011
- Formal Methods in System Design
Embedding finite automata within regular expressions
- Shoham Ben-David
- Dana Fisman
- et al.
- 2008
- Theoretical Computer Science
Scalable distributed on-the-fly symbolic model checking
- Shoham Ben-David
- Orna Grumberg
- et al.
- 2003
- International Journal on Software Tools for Technology Transfer
Model checking at IBM
- Shoham Ben-David
- Cindy Eisner
- et al.
- 2003
- Formal Methods in System Design
PathFinder: A tool for design exploration
- Shoham Ben-David
- Anna Gringauze
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
An algorithmic approach to design exploration
- Sharon Barner
- Shoham Ben-David
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Efficient detection of vacuity in temporal model checking
- Ilan Beer
- Shoham Ben-David
- et al.
- 2001
- Formal Methods in System Design
RuleBase: An industry-oriented formal verification tool
- Ilan Beer
- Shoham Ben-David
- et al.
- 1996
- DAC 1996
Establishing PCI compliance using formal verification: A case study
- Ilan Beer
- Shoham Ben-David
- et al.
- 1995
- Phoenix IPCCC 1995