The second half of the twentieth century has witnessed remarkable advances in technology. The unquestioned leader in this race has been computer technology. Eve

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 solut

This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliabl

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4.

This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada