Topics

Topics include but are not restricted to:

• Specification and modelling techniques
• Formal Verification
• Model checking
• Testing with focus on changing requirements
• Testing from lightweight formal methods
• Design for test
• Tools for formal methods
• Application of formal methods in several domains
• Tool support with focus on industrial needs
• Experience from applying formal methods in real cases
• Theoretical foundations with a focus on lightweight Formal Methods
• Formal models for agile methodologies
• Reasoning about changing models
• Practical use and case studies from industrial practice
• Models of system transformation
• Models of emergent behaviour and intelligent agents
• Models for mobile systems
• Formal methods and team work
• Formal methods in education