Monitoring Arithmetic Temporal Properties
main
help
load example
blood sugar
temperature control
heart rate zone
simple example
Trace
temp = 20, control = 0, req = 0 temp = 22, control = 0, req = 1 temp = 25, control = 0, req = 0 temp = 33, control = 0, req = 0 temp = 33, control = 1, req = 0
LTLf property
Check
NFA
DFA
OUTPUT
Ready for monitoring.
Top