Verification and Automatic Reasoning Group

Established: October 14, 2011

The members of this group are interested in developing tools and methods for reasoning about complex systems. Example application areas include operating systems, biological systems, or distributed algorithms. Particular projects include the SLAyer shape analysis engine, the Terminator termination prover, and BioCheck modelling and analysis tool for gene regulatory networks.