Angelic Verification

Établi : January 1, 2015

Vidéos

Angelic Checking within Static Driver Verification

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

Affiliation : Microsoft Research

Personne

Researcher team

Portrait de Akash Lal

Akash Lal

Senior Principal Researcher

Portrait de Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher

Interns

Portrait de Shaobo He

Shaobo He

Intern

University of Utah

Portrait de Yi Li

Yi Li

Intern

University of Toronto

Portrait de Alexander Nutz

Alexander Nutz

Intern

University of Freiburg