Corral Program Verifier

Established: May 9, 2013

Videos

Distributed Bounded Model Checking

October 4, 2020

Prantik Chatterjee

Angelic Checking within Static Driver Verification

October 4, 2020

Shuvendu Lahiri

People

Portrait of Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Portrait of Akash Lal

Akash Lal

Partner Researcher