Microsoft Research ブログ
読み込み中…
Microsoft Research ブログ
Microsoft researchers explore a practical way to build bug-free software
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.
人数
Chris Hawblitzel
Senior Principal Researcher
Jay Lorch
Senior Principal Researcher
Srinath Setty
Principal Researcher