Corral Program Verifier

설립: May 9, 2013

비디오

Distributed Bounded Model Checking

October 4, 2020

Speakers : Akash Lal

소속 : IIT Kanpur

Angelic Checking within Static Driver Verification

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

소속 : Microsoft Research

인원

Shuvendu Lahiri의 초상화

Shuvendu Lahiri

Senior Principal Researcher

Akash Lal의 초상화

Akash Lal

Partner Researcher