Re: Firewall

Thread View: pl.comp.security

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Piotr Walesiak Tue, 26 Nov 1996 21:17

#111

Author: Piotr Walesiak
Date: Tue, 26 Nov 1996 21:17

18 lines
1238 bytes

On Tue, 26 Nov 1996, Jarek Lis wrote:

> Jerzy Michal Pawlak <jmp@cocos.fuw.edu.pl> wrote:
> : I, uprzedzajac okrzyki wzburzenia 'artystow programowania' - tak, znam
> : 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 ?

+-------------------------+
|  Piotr Walesiak         |  e-mail with Subject 'Get PGP key'
|  piotrek@oeiizk.waw.pl  |  for PGP key.
|  pwalesia@ia.pw.edu.pl  |
+-------------------------+

Re: Firewall

#112

Author: Robert Maron
Date: Wed, 27 Nov 1996 00:40

24 lines
1677 bytes

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)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads