Program derivation
id:
program-derivation-260-9471089
title:
Program derivation
text:
In computer science, program derivation is the derivation of a program from its specification, by mathematical means. To derive a program means to write a formal specification, which is usually non-executable, and then apply mathematically correct rules in order to obtain an executable program satisfying that specification. The program thus obtained is then correct by construction. Program and correctness proof are constructed together. The approach usually taken in formal verification is to fir
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Program_derivation
date created:
date modified:
2023-06-27T03:08:37Z
main entity:
{"identifier":"Q7248413","url":"https://www.wikidata.org/entity/Q7248413"}
image:
fields total:
13
integrity:
13