SOFTENG 752 Formal Specification and Design Assignment #1: Formal Modelling
SOFTENG 752Formal Specification and DesignB Specification and System Property ModellingFormal Modelling
You will be required to use the B formal modelling language to specify the design of a software system in an exact and unambiguous way. You must also use the associated tool, i.e., the ProB model checker, to validate and analyse the design, checking for consistency, completeness, and correctness. It helps in providing evidence that the design accurately represents the intended behaviour of the system, and it helps in uncovering any hidden errors or inconsistencies.