- formal validation
- мат. формальное доказательство
Большой англо-русский и русско-английский словарь. 2001.
formal validation
Смотреть что такое "formal validation" в других словарях:
Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… … Wikipedia
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
Validation rule — A Validation rule is a criterion used in the process of data validation, carried out after the data has been encoded onto an input medium and involves a data vet or validation program. This is distinct from formal verification, where the… … Wikipedia
validation — validate val‧i‧date [ˈvældeɪt] verb [transitive] formal to prove that something is true, correct, or acceptable: • The federal court overturned court rulings validating the company s patent. • Our data is validated to ensure reliability.… … Financial and business terms
Verification and Validation (software) — In software project management, software testing, and software engineering, Verification and Validation (V V) is the process of checking that a software system meets specifications and that it fulfils its intended purpose. It is normally part of… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Post-silicon validation — and debug is the last step in the development of a semiconductor integrated circuit. During the pre silicon process, engineers test devices in a virtual environment with sophisticated simulation, emulation, and formal verification tools. In… … Wikipedia
Post silicon validation — and debug is the last step in the development of a semiconductor integrated circuit. During the pre silicon process, engineers test devices in a virtual environment with sophisticated simulation, emulation, and formal verification tools. In… … Wikipedia
VAE (Validation des Acquis de l'Experience) — The VAE or Validation des Acquis de l Expérience is a procedure that allows any French educational institution to grant degrees partly or totally on work experience. A porfolio of the applicant s achievements and work experience is presented to a … Wikipedia
Computerized system validation — Computer system validation (CSV) is the documented process of assuring that a computer system does exactly what it is designed to do in a consistent and reproducible manner. The validation process begins with the system proposal/requirements… … Wikipedia
