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

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.

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

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