Andrew Ireland

Latest

• Semi-Automated Design Space Exploration for Formal Modelling
• UC-B: Use Case Modelling with Event-B
• Refinement Plans for Informed Formal Design
• Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance