Formal Verification in a Commercial Setting.

Robert P. Kurshan

Published in: DAC (1997)

Keyphrases

formal verification
model checking
bounded model checking
model checker
automated verification
symbolic model checking
program slicing
functional verification
temporal logic
coloured petri nets
neural network
formal methods