Home >  Term: systém automatizovaného ověřování
systém automatizovaného ověřování

(1) Je softwarový nástroj, který přijímá jako vstup, počítačový program a vyobrazení její specifikace a produkuje, případně s lidskou pomoc, důkaz nebo disproof správnost program.~(2) softwarový nástroj, který automatizuje části nebo celého procesu ověřování.

0 0

ผู้สร้าง

  • Eman K
  • (Brno, Czech Republic)

  •  (V.I.P) 21592 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.