Re: CVE-2017-14482 - Red Hat Customer Portal

[tomas]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Sun, Sep 24, 2017 at 04:42:54PM +0200, Óscar Fuentes wrote:

[...]

> It seems that you think that formal verification says that the software
> is correct. That's in theory. Practice is different, as usual.

And to embellish this discussion with an Argument by Authority:

  "Beware of bugs in the above code; I have only proved it
   correct, not tried it."

http://www-cs-faculty.stanford.edu/~knuth/faq.html

- -- t
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlnHxwkACgkQBcgs9XrR2kbRFQCfQcFHXf/zQz4I1zN1ENqbEjRc
v/IAnRQLGZc9D74GvaTl+aCMFHhDoa8y
=pOWe
-----END PGP SIGNATURE-----