Manuel Mazzara

Latest

• AutoReq: expressing and verifying requirements for control systems
• Reflections on Teaching Formal Methods for Software Development in Higher Education
• A contract-based method to specify stimulus-response requirements