DSCMC: Distributed Stateless Code Model Checker.

Elaheh Ghassabani Mohammad Abdollahi Azgomi

Published in: CoRR (2016)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
distributed systems
description language
formal specification
ai planning
source code
symbolic model checking
knowledge base
image processing
error rate
constraint programming
specification language