Article View: pl.comp.security
Article #111Re: Firewall
From: Piotr Walesiak
Date: Tue, 26 Nov 1996 21:17
Date: Tue, 26 Nov 1996 21:17
18 lines
1238 bytes
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 | +-------------------------+
Technical Details
Message-ID:
<Pine.LNX.3.95.961126213819.189A-100000@Qhara.qhara.waw.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!ict.pwr.wroc.pl!m2n-gate.okapi.usenet.plShow Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!ict.pwr.wroc.pl!m2n-gate.okapi.usenet.pl From: piotrek@jack.oeiizk.waw.pl (Piotr Walesiak) Newsgroups: pl.comp.security Subject: Re: Firewall Message-ID: <Pine.LNX.3.95.961126213819.189A-100000@Qhara.qhara.waw.pl> Date: 26 Nov 96 21:17:04 GMT Sender: security@sprocket.ict.pwr.wroc.pl MIME-Version: 1.0 Organization: Lista dyskusyjna security@ict.pwr.wroc.pl Lines: 21 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit