Using Promela in a Fully Verified Executable LTL Model Checker.

Published in: VSTTE (2014)

Keyphrases

model checking
model checker
formal specification
temporal logic
transition systems
formal verification
symbolic model checking
formal methods
concurrent systems
description language
modal logic
data mining
specification language
ai planning
state space
dynamic programming
np hard
expert systems