Integrating Boolean Verification with Formal Derivation.

Bhaskar Bose Steven D. Johnson Shyamsundar Pullela

Published in: CHDL (1993)

Keyphrases

formal methods
model checking
formal analysis
formal specification
formal models
formal verification
boolean functions
website
formal model
signature verification
concurrent systems
real world
operational semantics
face verification
information retrieval systems
bayesian networks
web pages
machine learning