Vacuity in practice: temporal antecedent failure
- Shoham Ben-David
- Fady Copty
- et al.
- 2015
- Formal Methods in System Design
Publications
5 results for Dana Fisman
Safety and liveness, weakness and strength, and the underlying topological relations
- Cindy Eisner
- Dana Fisman
- et al.
- 2014
- ACM TOCL
Augmenting a regular expression-based temporal logic with local variables
- Cindy Eisner
- Dana Fisman
- 2008
- FMCAD 2008
Embedding finite automata within regular expressions
- Shoham Ben-David
- Dana Fisman
- et al.
- 2008
- Theoretical Computer Science
A topological characterization of weakness
- Cindy Eisner
- Dana Fisman
- et al.
- 2005
- PODC 2005