Model Checking a Model Checker: A Code Contract Combined Approach.

Jun Sun Yang Liu Bin Cheng

Published in: ICFEM (2010)

Keyphrases

model checking
model checker
temporal logic
formal verification
formal methods
symbolic model checking
formal specification
description language
source code
finite state
epistemic logic
ai planning
test suite
transition systems
verification method
concurrent systems
artificial intelligence
planning domains