VDM Specification Language
Budget: ₹600 – ₹1,500 INR
Advanced Topics in Computer Science
VDM Specification Language VDM Specification Language VDM Specification Language
Distinguish between different forms of program verification (proof, testing, assertions).
• Make appropriate decisions on how to evaluate and select the ideal frameworks to develop a computing application.
• Identify appropriate defensive programming techniques to reduce software risk.
• Design, test and validate computing applications using the models and tools covered in this module.
• Use formal modelling skills to abstract away unnecessary details in a set of requirements and focus on the key concepts.
a The VDM Specification Language (VDM-SL)
b Validating and Verifying Formal Models
c Implementing VDM Specifications
VDM Specification Language VDM Specification Language VDM Specification Language
Distinguish between different forms of program verification (proof, testing, assertions).
• Make appropriate decisions on how to evaluate and select the ideal frameworks to develop a computing application.
• Identify appropriate defensive programming techniques to reduce software risk.
• Design, test and validate computing applications using the models and tools covered in this module.
• Use formal modelling skills to abstract away unnecessary details in a set of requirements and focus on the key concepts.
a The VDM Specification Language (VDM-SL)
b Validating and Verifying Formal Models
c Implementing VDM Specifications