Using compliance notation to verify Ada tasking

Autor:	D. J. Tombs
Rok vydání:	1997
Předmět:	Programming language Computer science General Earth and Planetary Sciences computer.software_genre Notation computer Compliance (psychology) General Environmental Science
Zdroj:	ACM SIGAda Ada Letters. :83-87
ISSN:	1094-3641
Popis:	Tasking is the most important-aspect of Ada not addressed by existing verification systems. The DRA Compliance Notation allows a subset of Ada to be embedded in a engine supported by Z. We propose incorporating a reduced tasking model into the Notation.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e62f921aa2925dcf53c5935588f2177 https://doi.org/10.1145/271662.271710 Zobrazit plný text záznamu