Industry Collaborations
Industry collaborations bring our research in formal methods and software engineering to practical development challenges.
Testing an embedded controller
Partner: Example partner
In this example, the group and an industry partner would define the controller's requirements, model its expected behaviour, and generate tests from the model. Simulated scenarios would help identify unexpected behaviour and guide improvements before deployment.