Formal Methods in Programming

Åbo Akademi University
Headed by Academy Professor Ralph-Johan Back
tel. +358 2 215 4382 or backrj@abo.fi

Centre of Excellence Homepage

Based at Åbo Akademi University, the Formal Methods in Programming unit is interested in studying computer programming methods and in developing computer supported programming tools. One of the unit's main objects is to develop exact mathematical methods (so-called formal methods) that can be used to make sure computer programs are correct and reliable by construction. Formal methods are applied in research to different stages of the programming process, such as program definition, design and implementation as well as to checking program correctness. Formal methods have been widely applied in different programming tasks, such as designing distributed systems, programming parallel processors, designing VLSI circuits with programming technology and object-oriented system construction.