The SpinJa Model Checker.

Marc de Jonge Theo C. Ruys

Published in: SPIN (2010)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
ai planning
symbolic model checking
set theory
specification language
artificial intelligence
web services
knowledge based systems
integer programming