Corral Program Verifier

Established: May 9, 2013

Videos

Distributed Bounded Model Checking

October 4, 2020

Speakers : Akash Lal

Affiliation : IIT Kanpur

Angelic Checking within Static Driver Verification

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

Affiliation : Microsoft Research

People

Portrait of Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Portrait of Akash Lal

Akash Lal

Senior Principal Researcher