Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.

Olivier Coudert, Jean Christophe Madre, Christian Berthet

Browse the full CAV paper archive.