Monitoring Arithmetic Temporal Properties on Finite Traces.

Paolo Felli Marco Montali Fabio Patrizi Sarah Winkler

Published in: CoRR (2022)

Keyphrases

temporal properties
model checking
possibility theory
monitoring system
formal methods
real time
neural network
web services
object oriented
temporal logic
floating point