Publications

2 results at FMCAD 2012

Complete and effective robustness checking by means of interpolation
- - Stefan Frehse
  - Gorschwin Fey
  - et al.
- 2012
- FMCAD 2012
Formal verification of error correcting circuits using computational algebraic geometry
- - Alexey Lvov
  - Luis A. Lastras-Montano
  - et al.
- 2012
- FMCAD 2012