Microsoft Research Blog
Chargement...
Blog de recherche Microsoft
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.
Personne
Chris Hawblitzel
Senior Principal Researcher
Jay Lorch
Senior Principal Researcher
Srinath Setty
Principal Researcher