Automated Model-Based Verification of Object-Oriented Software
Model-Driven Engineering of Critical Information Systems
Precise Documentation and Formal Validation of Software Requirements
Using Model Checking to Verify Real-Time Systems
Using Theorem Proving to Verify Function Block Based Systems
Product-Based Software Certification