An Experimental Spatio-Temporal Model Checker.

Vincenzo Ciancia Gianluca Grilletti Diego Latella Michele Loreti Mieke Massink

Published in: SEFM Workshops (2015)

Keyphrases

model checker
spatio temporal
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
set theory
ai planning
specification language
artificial intelligence
evolutionary algorithm
source code
fuzzy logic
binary decision diagrams