Formal analysis of scientific-computation methods
- Gadiel Auerbach
- Orna Kupferman
- 2003
- ADHS 2003
Publications
Date
Featured collections
Popular topics
4 results for Orna Kupferman
What causes a system to satisfy a specification
- Hana Chockler
- Joseph Y. Halpern
- et al.
- 2008
- ACM TOCL
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