collaborators

1 paper

cs.SE2017

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

Martin Becker, Emanuel Regnath, Samarjit Chakraborty

SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilit…