Verifying Nondeterministic Implementations of Deterministic Systems.

Alok Jain, Kyle L. Nelson, Randal E. Bryant

Browse the full FMCAD paper archive.