Symbolic model checking - McMillan, Kenneth L. (Kluwer, 1998)
Keywords: Schaltungsentwurf; Personal Computer; Korrektheit; Verifikation; Schaltwerk; Programmierbare logische Anordnung