The JKind Model Checker.

Andrew Gacek John Backes Mike Whalen Lucas G. Wagner Elaheh Ghassabani

Published in: CoRR (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
set theory
specification language
ai planning
web services
general purpose
planning domains
software architecture
test cases
data analysis
image processing