Tightly integrate dynamic verification with formal verification: a GSTE based approach.

Jin Yang, Avi Puder

Browse the full ASPDAC paper archive.