Search Results

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

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 solutio

This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.

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

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienn