Home > Term: bằng chứng về tính đúng đắn
bằng chứng về tính đúng đắn
(1) Một kỹ thuật chính thức được sử dụng để chứng minh toán học mà một chương trình máy tính đáp ứng của nó requirements.~(2) đã chỉ ra một chứng minh rằng kết quả từ việc áp dụng các kỹ thuật (1).
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- Nguyet
- 100% positive feedback