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).

0 0

Penulis

  • Nguyet
  •  (V.I.P) 34532 poin
  • 100% positive feedback
© 2024 CSOFT International, Ltd.