Symbolic model checking - McMillan, Kenneth L. (Kluwer, 1993)
Keywords: Circuits électriques - Analyse symbolique - Informatique; Ordinateurs - Circuits - Conception et construction - Informatique; Ordinateurs - Circuits - Conception et construction; SMV; Structure logique - Informatique; Structure logique; conception circuit; conception logique; protocole; spécification abstraite; système complexe; théorie démonstration; vérification; Datenverarbeitung; Electronic digital computers -- Circuits -- Design -- Data processing; Logic design -- Data processing; Symbolic circuit analysis -- Data processing; Schaltungsentwurf; Personal Computer; Korrektheit; Verifikation; Programmierbare logische Anordnung; Schaltwerk