Using compliance notation to verify Ada tasking
Autor: | D. J. Tombs |
---|---|
Rok vydání: | 1997 |
Předmět: | |
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: |