MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.

Kais Klai Denis Poitrenaud

Published in: Petri Nets (2008)

Keyphrases

set theory
model checker
transition systems
model checking
temporal logic
symbolic model checking
image processing
high level
symbolic representation
formal methods
relational databases
domain specific
formal specification
description language