Corral Program Verifier

成立时间：May 9, 2013

视频

Distributed Bounded Model Checking

2020年10月4日

Prantik Chatterjee

Angelic Checking within Static Driver Verification

2020年10月4日

Shuvendu Lahiri

人员

Shuvendu Lahiri的肖像

Shuvendu Lahiri

Senior Principal Researcher

Akash Lal的肖像

Akash Lal

Partner Researcher