Automated Reasoning and Software Reliability

Mission

Our mission is to enable and support the construction of reliable and dependable software systems with focus on producing machine-assisted methods to improve the quality and dependability of computer systems.

Group Coordinator

Rui Filipe Lima Maranhão de Abreu