Mechanical Identification of Inductive Properties During Verification of Finite State Machines.

I. Chakrabarti Dipankar Sarkar

Published in: VLSI Design (1994)

Keyphrases

finite state machines
model checking
finite state automata
desirable properties
hidden markov models
person identification
inductive learning
regular expressions
formal verification
databases
inductive inference
inductive reasoning
digital circuits
face verification
building blocks
low level
neural network