αCheck: A mechanized metatheory model checker.

James Cheney Alberto Momigliano

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
symbolic model checking
ai planning
set theory
training data
image analysis
software engineering
software architecture
binary decision diagrams