Home >  Term: automatisierte Überprüfungssystem
automatisierte Überprüfungssystem

(1) Ein Softwaretool, das als Eingabe ein Computerprogramm und eine Darstellung ihrer Spezifikation und produziert, evtl. mit menschlicher Hilfe, ein Beweis oder Disproof von der Richtigkeit der program.~(2) jedem Softwaretool, das Teil automatisiert oder aller der Überprüfungsprozess akzeptiert.

0 0

Penulis

  • Martin Schulz
  • (Frankfurt, Germany)

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