Building High Integrity Applications with SPARK

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Building High Integrity Applications with SPARK by John W. McCormick, Peter C. Chapin, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: John W. McCormick, Peter C. Chapin ISBN: 9781316365380
Publisher: Cambridge University Press Publication: August 31, 2015
Imprint: Cambridge University Press Language: English
Author: John W. McCormick, Peter C. Chapin
ISBN: 9781316365380
Publisher: Cambridge University Press
Publication: August 31, 2015
Imprint: Cambridge University Press
Language: English

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. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

More books from Cambridge University Press

Cover of the book Sequential Analysis and Observational Methods for the Behavioral Sciences by John W. McCormick, Peter C. Chapin
Cover of the book Solutions to Political Polarization in America by John W. McCormick, Peter C. Chapin
Cover of the book Principles of the Theory of Solids by John W. McCormick, Peter C. Chapin
Cover of the book A History of Indian Poetry in English by John W. McCormick, Peter C. Chapin
Cover of the book Australian Export by John W. McCormick, Peter C. Chapin
Cover of the book Conflict and Housing, Land and Property Rights by John W. McCormick, Peter C. Chapin
Cover of the book Analytical Mechanics by John W. McCormick, Peter C. Chapin
Cover of the book Classical Optics and its Applications by John W. McCormick, Peter C. Chapin
Cover of the book Quantum Fields and Processes by John W. McCormick, Peter C. Chapin
Cover of the book Aspects of Symmetry by John W. McCormick, Peter C. Chapin
Cover of the book Pheromones and Animal Behavior by John W. McCormick, Peter C. Chapin
Cover of the book Paediatric Nursing Skills for Australian Nurses by John W. McCormick, Peter C. Chapin
Cover of the book Gender, Race, and Mourning in American Modernism by John W. McCormick, Peter C. Chapin
Cover of the book Channel Codes by John W. McCormick, Peter C. Chapin
Cover of the book Freedom Bound by John W. McCormick, Peter C. Chapin
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy