starMC: an automata based CTL* model checker.

Elvio Gilberto Amparore Susanna Donatelli Francesco Gallà

Published in: PeerJ Comput. Sci. (2022)

Keyphrases

model checker
model checking
temporal logic
symbolic model checking
formal verification
transition systems
formal specification
epistemic logic
formal methods
concurrent systems
image analysis
binary decision diagrams
knowledge base
web services
data analysis
general purpose