MAPi Thesis topic

The concrete workplan to be developed may include the development of a toolset to support automated checking of programs with respect to functional and/or non-functional safety