Login / Signup
Verifying networked programs using a model checker extension.
Watcharin Leungwattanakit
Cyrille Artho
Masami Hagiya
Yoshinori Tanabe
Mitsuharu Yamamoto
Published in:
ICSE Companion (2009)
Keyphrases
</>
model checking
model checker
temporal logic
formal verification
formal methods
description language
symbolic model checking
formal specification
artificial intelligence
test suite
set theory
data model
dynamic programming
ai planning