Path: csiph.com!goblin2!goblin.stu.neva.ru!newsfeed2.atman.pl!newsfeed.atman.pl!.POSTED!not-for-mail
From: "AK" <nobody@nowhere.com>
Newsgroups: pl.comp.programming
Subject: Re: [OT] Du?a kasa i kiepski wynik - dlaczego?
Date: Sun, 13 Sep 2015 21:58:22 +0200
Organization: ATMAN - ATM S.A.
Lines: 19
Message-ID: <mt4kh4$hp0$1@node1.news.atman.pl>
References: <mosvh7$bpl$1@node1.news.atman.pl>   <mspsn0$c93$2@node1.news.atman.pl> <mssg6t$4fu$1@node1.news.atman.pl> <mssktp$9n5$1@node1.news.atman.pl> <msss6u$hjj$1@node1.news.atman.pl> <msvaa3$15k$1@node1.news.atman.pl> <mt10d4$v8$1@node2.news.atman.pl> <mt16oq$t5c$1@node1.news.atman.pl> <mt1b2u$bf8$1@node2.news.atman.pl> <mt1et9$5tj$2@node1.news.atman.pl> <mt1j7s$ado$1@node1.news.atman.pl> <mt1oci$oob$1@node2.news.atman.pl> <mt2euk$joa$1@z-news.wcss.wroc.pl> <mt3oub$j8r$1@node1.news.atman.pl> <mt4huo$491$1@z-news.wcss.wroc.pl>
NNTP-Posting-Host: dynamic37-72-124-237.ostnet.pl
Mime-Version: 1.0
Content-Type: text/plain; format=flowed; charset="iso-8859-2"; reply-type=original
Content-Transfer-Encoding: 8bit
X-Trace: node1.news.atman.pl 1442174308 18208 37.72.124.237 (13 Sep 2015 19:58:28 GMT)
X-Complaints-To: usenet@atman.pl
NNTP-Posting-Date: Sun, 13 Sep 2015 19:58:28 +0000 (UTC)
In-Reply-To: <mt4huo$491$1@z-news.wcss.wroc.pl>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Windows Mail 6.0.6002.18197
X-MimeOLE: Produced By Microsoft MimeOLE V6.0.6002.18463
X-Antivirus: avast! (VPS 150913-1, 2015-09-13), Outbound message
X-Antivirus-Status: Clean
Xref: csiph.com pl.comp.programming:27460

Użytkownik "Waldek Hebisch" <antyspam@math.uni.wroc.pl> napisał:

> Z innej beczki, kilka lat temu zweryfikowano
> formalnie mikrojado L4.

Nie wierzę. C nie nadaje sie do weryfikacji formalnej poprawnosci programow
w nim pisanych (chyba ze jest to baaardzo okrojone C - i to o wiele bardziej niz Misra C),
a jadro to jaderko na przyslowiowych "kilku kartkach" i "specjalnie pisane" pod werfyfikację.

W zwyklym C/C++ formalna weryfikacja pooprawnosci to zwykla
uluda (i taka na zawsze zostanie).

AK 


---
Ta wiadomość została sprawdzona na obecność wirusów przez oprogramowanie antywirusowe Avast.
https://www.avast.com/antivirus