1 Hit in 3.3 sec

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

Martin Becker, Emanuel Regnath, Samarjit Chakraborty
2017 arXiv   pre-print
In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider.  ...  SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software.  ...  Acknowledgements Thanks to the SPARK 2014 team of AdaCore for their guidance and insights.  ... 
arXiv:1707.00945v1 fatcat:5f6fj3r7krhgdpdgcqrq4gpchq