How to Learn a Model Checker.

Dung T. Phan Radu Grosu Nicola Paoletti Scott A. Smolka Scott D. Stoller

Published in: CoRR (2017)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
description language
formal specification
test suite
orders of magnitude
data mining
machine learning
image processing
expert systems
image analysis
general purpose
symbolic model checking