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.