Building High Integrity Applications With SPARK
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | August 31, 2015 |
| Authors | Peter C. Chapin |
| John W. McCormick | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2177545 |
About Building High Integrity Applications With SPARK
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. . . .