Formal boolean manipulations for the verification of sequential machines.

Olivier Coudert Christian Berthet Jean Christophe Madre

Published in: EURO-DAC (1990)

Keyphrases

formal methods
formal analysis
model checking
real valued
boolean functions
formal specification
face verification
real time
real world
information systems
lower bound
evolutionary algorithm
formal model
machine intelligence
human intelligence
sequential search