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