Reachability Programming in HOL98 Using BDDs.

Michael J. C. Gordon

Published in: TPHOLs (2000)

Keyphrases

binary decision diagrams
heuristic search
programming language
theorem prover
state space
formal methods
databases
database systems
programming course
timed automata
machine learning
information systems
optimal solution
general purpose
theorem proving
computer programming