Documents Visual Formal Methods R J Walters. Introduction Motivation The Language The tools An example...

Slide 1 Visual Formal Methods R J Walters Slide 2 Introduction Motivation The Language The tools An example Conclusion Slide 3 Issues in large systems Connecting the parts…

Documents Visual Modelling R J Walters. Introduction Motivation The Language The tools An example Conclusion.

Slide 1 Visual Modelling R J Walters Slide 2 Introduction Motivation The Language The tools An example Conclusion Slide 3 Issues in threaded and distributed systems Connecting…