Automated Reasoning and Software Reliability (SA-ARSR)

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

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.

Strategy