Angelic Verification

設立年月日:January 1, 2015年

動画

Angelic Checking within Static Driver Verification

Angelic Checking within Static Driver Verifier

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

所属施設 : Microsoft Research

人数

Researcher team

Akash Lal

Partner Researcher

詳細はこちら

Shuvendu Lahiri

Senior Principal Researcher

詳細はこちら

Interns

Shaobo He

Intern

University of Utah

詳細はこちら

Yi Li

Intern

University of Toronto

Alexander Nutz

Intern

University of Freiburg