Corral Program Verifier

設立年月日:May 9, 2013年

動画

Distributed Bounded Model Checking

October 4, 2020

Prantik Chatterjee

Angelic Checking within Static Driver Verification

October 4, 2020

Shuvendu Lahiri

人数

Shuvendu Lahiriの肖像

Shuvendu Lahiri

Senior Principal Researcher

Akash Lalの肖像

Akash Lal

Partner Researcher