Home > Term: correctness proof
correctness proof
A mathematical proof of consistency between a specification and its implementation.
- Kalbos dalis: noun
- Pramonės šaka / sritis: Telecommunications
- Category: General telecom
- Company: ATIS
0
Kūrėjas
- KeithC3
- 100% positive feedback