A Theoretical Framework for Symbolic Quick Error Detection.

Florian Lonsing, Subhasish Mitra, Clark W. Barrett

Browse the full FMCAD paper archive.