-- A temperature monitor -- For Chapter 4 (Logic) types seq of int inv temp == len temp = 5functions -- the last reading in a sample is greater than the first bool -- there is a reading in excess of 400 degrees bool or temp(2) > 400 or or temp(4) > 400 or -- alternative formulation using a quantified expression bool exists t in seq temp & t > 400;-- all readings in a sample exceed 400 degrees bool and temp(2) > 400 and and temp(4) > 400 and -- alternative formulation using a quantified expression bool forall t in seq temp & t > 400;-- detecting whether a reactor can be considered safe bool -- detecting whether an alarm should be raised bool post not Safe(temp) <=> alarm;bool exists min in set {1,...,5} &forall i in set {1,...,5} &quality 90%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
