Autor:	Yannick Moy, Claire Dross
Rok vydání:	2022
Předmět:	General Earth and Planetary Sciences General Environmental Science
Zdroj:	ACM SIGAda Ada Letters. 42:65-67
ISSN:	1094-3641
DOI:	10.1145/3577949.3577959
Popis:	The GNAT light runtime library is a version of the runtime library targeted at embedded platforms and certification, which has been certified for use at the highest levels of criticality in several industrial domains. It contains around 180 units focused mostly on I/O, numerics, text manipulation, memory operations. We have used SPARK to prove the correctness of 40 of them: that the code is free of runtime errors, and that it satisfies its functional specifications.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9b3ce2918aac58a5aeace75886878065 https://doi.org/10.1145/3577949.3577959 Zobrazit plný text záznamu