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 A Bibliography of William Wordsworth by John W. McCormick, Peter C. Chapin
Cover of the book Thermodynamics with Chemical Engineering Applications by John W. McCormick, Peter C. Chapin
Cover of the book The Ecology of Plant Secondary Metabolites by John W. McCormick, Peter C. Chapin
Cover of the book The Demographic Transformations of Citizenship by John W. McCormick, Peter C. Chapin
Cover of the book Information Politics, Protests, and Human Rights in the Digital Age by John W. McCormick, Peter C. Chapin
Cover of the book The Cambridge Companion to Modernist Women Writers by John W. McCormick, Peter C. Chapin
Cover of the book Ethnic Germans and National Socialism in Yugoslavia in World War II by John W. McCormick, Peter C. Chapin
Cover of the book Variational Methods with Applications in Science and Engineering by John W. McCormick, Peter C. Chapin
Cover of the book Stochastic Dynamics of Marine Structures by John W. McCormick, Peter C. Chapin
Cover of the book The International Law of Migrant Smuggling by John W. McCormick, Peter C. Chapin
Cover of the book Language and Gender by John W. McCormick, Peter C. Chapin
Cover of the book The Cambridge Companion to ‘Emma' by John W. McCormick, Peter C. Chapin
Cover of the book Justice in International Law by John W. McCormick, Peter C. Chapin
Cover of the book Believable Evidence by John W. McCormick, Peter C. Chapin
Cover of the book Rule of Law for Nature 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