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.