Zobrazeno 1 - 1
of 1
pro vyhledávání: '"D. J. Tombs"'
Autor:
D. J. Tombs
Publikováno v:
ACM SIGAda Ada Letters. :83-87
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 Notati