Homer: A Higher-Order Observational Equivalence Model checkER.

David Hopkins C.-H. Luke Ong

Published in: CAV (2009)

Keyphrases

model checker
higher order
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
set theory
ai planning
symbolic model checking
web services
software architecture
binary decision diagrams
planning domains
image processing
machine learning