Obálka

Model Checking a C++ Software Framework, a Case Study

Uloženo v:
Vydáno v:arXiv.org (Jun 29, 2019), p. n/a
Hlavní autor: Lång, John
Další autoři: I S W B Prasetya
Vydáno:
Cornell University Library, arXiv.org
Témata:
Translating
Acceptance tests
Program verification (computers)
Source code
C (programming language)
C plus plus
Design defects
Computer models
Software
Workflow
Case studies
On-line přístup:Citation/Abstract
Full text outside of ProQuest
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!