Code: Getting it Right
Code: Getting it Right
A new OS has been proven to be correct using mathematical proofs. The cost: astronomical.
By Jack Ganssle
Embedded.com
(10/26/09, 02:28:00 HŒ EDT)
Code: Getting it Right
A new OS has been proven to be correct using mathematical proofs. The cost: astronomical.
By Jack Ganssle
Embedded.com
(10/26/09, 02:28:00 HŒ EDT)