Stefan Leue

• Model checking software
• Scenarios: Models, Transformations and Tools
• Formal Methods for Industrial Critical Systems
• Model Checking Software
• Scenarios : Models, Transformations and Tools
• Theoretical and Practical Aspects of SPIN Model Checking