SPARK - The Proven Approach to High Integrity Software
by John Barnes with Altran Praxis
Back to Search Results
Format: Paperback
Pages: 536 pages
Published by: Altran Praxis
ISBN: 9780957290518
Subject: Computer programming / software development
Pages: 536 pages
Published by: Altran Praxis
ISBN: 9780957290518
Subject: Computer programming / software development
About this book
Bookseller Reviews
SPARK is a programming language and static verification technology designed specifically for the development of high integrity software. First designed over 20 years ago, SPARK has established a track record of use in embedded and critical systems across a diverse range of industrial domains where safety and security are paramount.
This third edition of the SPARK book is a major update which covers more recent additions to the SPARK language and tools, including significant improvements to the power of the SPARK proof system and the use of RavenSPARK for multitasking programs.
From basic principles through to the use of advanced proof techniques, John Barnes provides both an informal introduction and a reference guide for those wishing to develop high integrity software using SPARK.
This third edition of the SPARK book is a major update which covers more recent additions to the SPARK language and tools, including significant improvements to the power of the SPARK proof system and the use of RavenSPARK for multitasking programs.
From basic principles through to the use of advanced proof techniques, John Barnes provides both an informal introduction and a reference guide for those wishing to develop high integrity software using SPARK.