Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems

Thesis in Formal Verification of Motion Applications in High-Speed Transport Systems During your assignment, you will do a quick scan of the tools available on the market and desk evaluate of at least 3 tools against requirements and usability. You will examine the tool and create of a model for formal verification based on a practical application. You will evaluate the suitability of the formal verification methodology in practice. Furthermore, you will determine appropriate state-of-the-art engineering solutions to improve development efficiency. You will analyse the performance and quality of the tool, e.g. w.r.t. state space explosion, export and import functionalities,... Last but not least, you will integrate and analyse the performance of formally verified code. Luuk Mallens (Functional Department) Social counselling and intermediary service for care services Discounts for employees