A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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