Directly go to the content
Automated Reasoning and Verification Group
: Overview and News
Automated Reasoning and Verification Group
The Automated Reasoning and Verification (ARV) group is a research group in the Department of Computer Science at ETH Zurich. Our research focuses on programming languages and verification, and more specifically on developing algorithmic techniques that can be used to reason about program correctness.