Angelic Verification

Established: January 1, 2015

Downloads

May 2018

Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the verifiers…

Github for Boogie intermediate verification language

People

Researcher team

Portrait of Akash Lal

Akash Lal

Senior Principal Researcher

Portrait of Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Interns

Portrait of Shaobo He

Shaobo He

Intern

University of Utah

Portrait of Yi Li

Yi Li

Intern

University of Toronto

Portrait of Alexander Nutz

Alexander Nutz

Intern

University of Freiburg