i built this template in UPPAAL 4.1 version. We can see in fig1, there exist a single path where agent can perform ReflexProcessing, but when i write given property
E<> not (MonitorAgent.ReflexProcessing)
Verifier satisfied it .
it shoud not be satisfied because a single path exist where ReflexProcessing done. kindly add your suggestion.enter image description here
