ASSIGNMENT NO 3

NAME : ZEESHAN NOOR

CLASS ID : CU-479-2018
SUBJECT : FORMAL METHOD IN SOFTWARE ENGINERING

FAN CONTROL:
Fan system status== on, off
Fan
Fs: fan system status
Min,max,current:ℕ

Int fan
Fan
Fs=on
Min=16
Max=25

Manage temperature
ΔFan
Current?=ℕ
Current?<min⇒Fan=off
Current?<max⇒Fan=on

SECURITY CHECKLIST TO CHECK THAT THE PERSON IS INVITED

IN THE PARTY OR NOT.
[name, number]
[come in, stay out]
Invitation system
Invited=name↔number
Door status= come in, stay out

Int invitation
Invitation system
Invited= {}
Door status= come IN

Valid invitation
Δinvitation system
Name?=name
ID?=number
(name?↔ID?)∈invited⇒door status=come in

Invalid invitation
Invitation system
Name?:name
ID?:number
(name?↦ID?)∉invited⇒door status=stayout