Home >  Term: automated verification system
automated verification system

(1) A software tool that accepts as input a computer program and a representation of its specification and produces, possibly with human help, a proof or disproof of the correctness of the program.~(2) Any software tool that automates part or all of the verification process.

0 0

Creator

  • artemis
  •  (Gold) 1356 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.