Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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.


MSR colleagues

  • B. Ashok (Bash)

Windows colleagues

  • Rahul Kumar
  • Vladimir Levin
  • Jakob Lichtenberg





Related Projects