🚀 go-pugleaf

off-topic wiem, ale tylko raz...

Piotr Walesiak <piotrek@jack.oeiizk.waw.pl> wrote:
: > : konkretne przypadki gdzie formalne metody dowodzenia poprawnosci programow
: > : byly uzyte w tworzeniu komercyjnego oprogramowania. Nie wiem konkretnie ile 
: > : mialy linii kodu, ale na pewno nie byly to programy trywialne.
: > I co, ile znaleziono bledow w dowodzie?
: 	I czy powstałe w ten sposób oprogramowanie było bez błędów ?

naprawde jest coraz wiecej metod dowodzenia poprawnosci oprogramowania;
automatycznych, teoretyczna informatyka jest bardzo na ten temat
nastawiona; systemy kontrolujace dowod sa zazwyczaj bardzo male, oparte
na prostej teorii, tak wiec raczej nie ma szans na blad w dowodzie
tak skontrolowanym; natomiast sa szanse na blad w specyfikacji, czy to
programu, czy danych przezen uzywanych; ale po pierwsze to co innego,
a po drugie jest tego duzo mniej niz samego dowodu;

pozdrawiam,
robert

-- 

robmar@cs.kun.nl                      finger robmar@hera.cs.kun.nl
(robmar@mimuw.edu.pl              http://zls.mimuw.edu.pl/~robmar)