The Yogi Project

成立时间:August 1, 2007

Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with testing. We believe that this synergy of testing and static analysis can be harnessed to efficiently validate software.

人员

Aditya Nori的肖像

Aditya Nori

Partner Research Manager

Sriram Rajamani的肖像

Sriram Rajamani

Corporate Vice President, Microsoft Research