αCheck: A mechanized metatheory model-checker.

James Cheney Alberto Momigliano

Published in: CoRR (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
test suite
set theory
specification language
ai planning
software architecture
image analysis
web service composition
partial order
binary decision diagrams