PKind: A parallel k-induction based model checker

Temesghen Kahsai Cesare Tinelli

Published in: PDMC (2011)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
description language
formal specification
symbolic model checking
test suite
specification language
machine learning
set theory
relational databases
data model
constraint satisfaction problems
ai planning