Application of Formal Word-Level Analysis to Constrained Random Simulation.

Tue, 01 Jan 2008 00:00:00 +0100

Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi:
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV 2008: 487-490