Verification of software changes with ExpliSAT
- Hana Chockler
- Sitvanit Ruah
- 2012
- WHTSU 2012
Publications
Date
Featured collections
Popular topics
19 results for Hana Chockler
Automatic verification of fault-tolerant register emulations
- Paul C. Attie
- Hana Chockler
- 2005
- CONCUR 2005
The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2017
- JAIR
Computing mutation coverage in interpolation-based model checking
- Hana Chockler
- Daniel Kroening
- et al.
- 2012
- IEEE TCADIS
Explaining counterexamples using causality
- Ilan Beer
- Shoham Ben-David
- et al.
- 2011
- Formal Methods in System Design
Before and after vacuity
- Hana Chockler
- Ofer Strichman
- 2008
- Formal Methods in System Design
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