Taking Some Burden Off an Explicit CTL Model Checker.

Torsten Liebke Karsten Wolf

Published in: Petri Nets (2019)

Keyphrases

model checking
model checker
temporal logic
formal verification
symbolic model checking
formal specification
transition systems
epistemic logic
genetic algorithm
formal methods
image processing
general purpose
modal logic
planning domains
description language
software engineering