On monitoring linear temporal properties.

Klaus Havelund Doron Peled

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

temporal properties
model checking
formal methods
possibility theory
monitoring system
temporal logic
real time
neural network
artificial intelligence
cooperative
pattern recognition
relational databases
probabilistic model
decision makers
logic programs
formal specification