Formal methods

5 credits

Contact me

Today's software systems are commonly buggy, untrustworthy and insecure. Formal methods is an area of research that uses methods with solid mathematical foundations to model, construct and check if a software/hardware system is safe and/or secure. This course discusses common methods for checking safety and security of software systems. In this course, students will use programming languages with internal verifiers and tools to develop secure and safe software programs. They can also check the correctness of simple systems, such as protocols, using advanced techniques to ensure that the design is correct and reliable.


Roughly 15 minutes with a bike from the city centre, you will find Linnaeus University’s campus. It is like a small society with the university, student accommodation, and student life. Here you become part of a creative knowledge environment.

What will you come across on an excursion in Växjö – the city of contrasts? You will find good restaurants, a celebrated hockey team, and cozy cafés where you can enjoy a latte with lingonberry flavour. In Växjö, beautiful nature is always just around the corner; the city is surrounded by lakes and forests. Students like the combination of the city centre and the active student life on campus. Your dream of the future starts here!

Students in house M