The Kind 2 Model Checker.

Adrien Champion Alain Mebsout Christoph Sticksel Cesare Tinelli

Published in: CAV (2) (2016)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
symbolic model checking
test suite
set theory
ai planning
specification language
linear programming