School Of Computing, Engineering And MathematicsFormal Software EngineeringWestern Sydney University Unit Code: 300404.2
Discipline: INFORMATION SYSTEMS
Student Contribution Band: 2
Level: 3
Credit Points: 10
Prerequisite
200025 Discrete Mathematics AND 300103 Data Structures and Algorithms
About this Unit
This unit is concerned with the design, development and maintenance of computer software systems. The unit focuses on current formal specification and system verification technologies and methodologies. Foundations of model checking such as LTL and CTL, as well as a particular practical model checker SPIN will be thoroughly studied in this unit. The SPIN model checker with programming language PROMELA will be used for all software development and verification practices throughout this unit.