Formal Verification of Hardware using LP and Comparison with Nqthm.

Michel Allemand Felix Nicoli Laurence Pierre

Published in: Applied Informatics (1994)

Keyphrases

formal verification
model checking
symbolic model checking
low cost
linear programming
real time
linear program
bounded model checking
automated verification
model checker
hardware implementation
program slicing
image processing
expert systems
fuzzy sets