Corral Program Verifier

成立时间：May 9, 2013

视频

Distributed Bounded Model Checking

2020年10月4日

Speakers : Akash Lal

所属单位 : IIT Kanpur

Angelic Checking within Static Driver Verification

2020年10月4日

Speakers : Akash Lal, Shuvendu Lahiri

所属单位 : Microsoft Research

人员

Shuvendu Lahiri的肖像

Shuvendu Lahiri

Senior Principal Researcher

Akash Lal的肖像

Akash Lal

Senior Principal Researcher