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 Maternal Hemodynamics by John W. McCormick, Peter C. Chapin
Cover of the book Insect Ecology by John W. McCormick, Peter C. Chapin
Cover of the book Sociolinguistics from the Periphery by John W. McCormick, Peter C. Chapin
Cover of the book Civil War and Agrarian Unrest by John W. McCormick, Peter C. Chapin
Cover of the book Early Flowers and Angiosperm Evolution by John W. McCormick, Peter C. Chapin
Cover of the book Outsider Designations and Boundary Construction in the New Testament by John W. McCormick, Peter C. Chapin
Cover of the book Modeling in Materials Processing by John W. McCormick, Peter C. Chapin
Cover of the book Sentimental Opera by John W. McCormick, Peter C. Chapin
Cover of the book Physical Processes in Clouds and Cloud Modeling by John W. McCormick, Peter C. Chapin
Cover of the book A New Era for Mental Health Law and Policy by John W. McCormick, Peter C. Chapin
Cover of the book Syntactic Analysis by John W. McCormick, Peter C. Chapin
Cover of the book The Crisis of Global Modernity by John W. McCormick, Peter C. Chapin
Cover of the book Quranic Schools in Northern Nigeria by John W. McCormick, Peter C. Chapin
Cover of the book Political Identity and Conflict in Central Angola, 1975–2002 by John W. McCormick, Peter C. Chapin
Cover of the book Legal Foundations of Tribunals in Nineteenth Century England 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