jSSTL - A Tool to Monitor Spatio-Temporal Properties.

Laura Nenzi Luca Bortolussi Michele Loreti

Published in: VALUETOOLS (2016)

Keyphrases

temporal properties
model checking
spatio temporal
real time
possibility theory
monitoring system
natural language
high level
random walk
temporal logic
formal methods