Publications

2 results at FMCAD 2011

A theory of abstraction for arrays
- - Steven M. German
- 2011
- FMCAD 2011
Conference paper
Incremental formal verification of hardware
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2011
- FMCAD 2011
Conference paper

A theory of abstraction for arrays