Hardware Verification using Monadic Second-Order Logic.

David A. Basin Nils Klarlund

Published in: CAV (1995)

Keyphrases

monadic second order logic
hardware designs
low cost
hardware and software
computer systems
data complexity
model checking
real time
first order logic
expressive power
hardware implementation
tree automata
regular expressions
embedded systems
context sensitive
query language
data analysis
machine learning
database