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