Si consideri il monitor seguente che ritorna true appena il sistema viola il requisito monitorato:
<pre>
block Monitor

input Real x;  
output Boolean y;
Boolean w;

initial equation

y = false;

equation

w = ((x < 1) or (x > 4)) and ((x < 15) or (x > 20));

algorithm

when edge(w) then
y := true;
end when;

end Monitor;
</pre>

Quale delle seguenti affermazioni meglio descrive il requisito monitorato?