Microsoft Research Lab – India
프로젝트
로딩 중…
설립:
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.