LARA: Lab for Automated Reasoning and Analysis
Helping construct software that does what we expect!
LARA is a research group led by Viktor Kunčak. We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques to help construction of verified computer systems.
See, for example: