Gudmund Grov

Latest

• 'The Tinker' for Rodin
• A Super Industrial Application of PSGraph
• 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