topic: models in VDM or Alloy
deadline: 31.12.2020
task 1: create model for "smart home"
- important aspects: sensors, control, security, other equipment
- you have to decide what entities and operations to define
- do not forget to define some assertions and commands (run, check)
task 2: document your solution
- explain key design decisions and more advanced usage of VDM/Alloy
note: you can define the model in VDM or Alloy (pick one language)