System Description: Using OBDD's for the validation of Skolem verification conditions.

E. Pascal Gribomont Nachaat Salloum

Published in: CADE (1999)

Keyphrases

model checking
formal verification
high level
first order logic
sufficient conditions
temporal logic
verification method
decision trees
database
evolutionary algorithm
domain independent
constraint satisfaction
environmental conditions
formal analysis
asynchronous circuits
ordered binary decision diagrams