Helping construct software that does what we expect
(Click here for simpler version of this page on GitHub)
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 is to help the construction of verified computer systems. See, for example, the Stainless project. |