Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
Publications
Date
Featured collections
Popular topics
19 results at Formal Methods in System Design
Vacuity in practice: temporal antecedent failure
- Shoham Ben-David
- Fady Copty
- et al.
- 2015
- Formal Methods in System Design
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
- Alexey Lvov
- Luis A. Lastras-Montaño
- et al.
- 2014
- Formal Methods in System Design
Explaining counterexamples using causality
- Ilan Beer
- Shoham Ben-David
- et al.
- 2011
- Formal Methods in System Design
Functional verification of power gated designs by compositional reasoning
- Cindy Eisner
- Amir Nahir
- et al.
- 2009
- Formal Methods in System Design
Before and after vacuity
- Hana Chockler
- Ofer Strichman
- 2008
- Formal Methods in System Design
Coverage metrics for temporal logic model checking
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- Formal Methods in System Design
Combining symmetry reduction and under-approximation for symbolic model checking
- Sharon Barner
- Orna Grumberg
- 2005
- Formal Methods in System Design
An abstraction algorithm for the verification of level-sensitive latch-based netlists
- Jason Baumgartner
- Tamir Heyman
- et al.
- 2003
- Formal Methods in System Design
Formal design of cache memory protocols in IBM
- Steven M. German
- 2003
- Formal Methods in System Design