[linux] programmeer prrogramma

[Johan Wevers]

On 15-01-2018 16:39, Daniel C. von Asmuth wrote:

> Om je programma te verifiëren moet je de enigszins ingewikkelde
> bewijsregels van Hoare en Dijkstra leren, die gebaseerd zijn op
> predicatentransformaties.

Alsof iemand dat ooit gebruikt buiten de universiteit. Ik werk al bijna
20 jaar als ontwikkelaar en ben het nog nooit ergens tegengekomen. En al
die bewijsregels zijn leuk als je de input precies kunt definiëren, iets
dat in de praktijk ook zelden het geval is.

-- 
ir. J.C.A. Wevers
PGP/GPG public keys at http://www.xs4all.nl/~johanw/pgpkeys.html