The Formal Methods group is a research subgroup at the Computer Science and Engineering Department of Chalmers University of Technology. It was initiated and founded in 1997.

One of the most challenging tasks in software design is to assure reliability. This task becomes especially important when computer systems are integrated in safety-critical real-time systems, such as Internet, online payment systems, medical software, air traffic control, car control devices, and space applications. If these systems are not reliable, the cost to the economy and society is huge. Not only are there billions of dollars at stake, but in the extreme even human lives.

As computer systems grow both in terms of size and complexity it is not feasible to manually check and ensure the reliability of a system. Instead, an automated methodology to finding bugs and correcting errors is needed. Formal methods provides a very broad collection of different approaches to automatically ensure system correctness and reliability. The Formal Methods research group here at Chalmers works in various applications of formal methods, including software verification, automated reasoning, and contract verification.