Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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