Applicability of the BLAST Model Checker: An Industrial Case Study.

Emanuel Kolb Ondrej Sery Roland Weiss

Published in: Ershov Memorial Conference (2009)

Keyphrases

model checker
model checking
formal verification
temporal logic
description language
formal methods
formal specification
test suite
set theory
symbolic model checking
ai planning
specification language
machine learning
web services
orders of magnitude