Corral Program Verifier

Établi : May 9, 2013

Vidéos

Distributed Bounded Model Checking

October 4, 2020

Prantik Chatterjee

Angelic Checking within Static Driver Verification

October 4, 2020

Shuvendu Lahiri

Personne

Portrait de Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Portrait de Akash Lal

Akash Lal

Partner Researcher