What causes a system to satisfy a specification
- Hana Chockler
- Joseph Y. Halpern
- et al.
- 2008
- ACM TOCL
Publications
4 results for Orna Kupferman
Coverage metrics for temporal logic model checking
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- Formal Methods in System Design
Coverage metrics for formal verification
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- International Journal on Software Tools for Technology Transfer
Formal analysis of scientific-computation methods
- Gadiel Auerbach
- Orna Kupferman
- 2003
- ADHS 2003