Formal Verification of Digital Systems.

Gitanjali Swamy

Published in: VLSI Design (1997)

Keyphrases

formal verification
automated verification
model checking
model checker
management system
distributed systems
learning systems
orders of magnitude
formal methods
symbolic model checking