The Yogi Project
The Yogi Project

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.

People

MSR colleagues

  • B. Ashok (Bash)

Windows colleagues

  • Rahul Kumar
  • Vladimir Levin
  • Jakob Lichtenberg

Collaborators

Interns

Publications

 

Related Projects