Slide 11 Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns Zoë Stephenson John McDermid Slide 2 2 Overview Motivation Description of HADES…
