-
Data: 2015-09-13 21:58:22
Temat: Re: [OT] Du?a kasa i kiepski wynik - dlaczego?
Od: "AK" <n...@n...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Użytkownik "Waldek Hebisch" <a...@m...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
Następne wpisy z tego wątku
- 13.09.15 22:01 AK
- 13.09.15 22:07 AK
- 13.09.15 22:22 Sebastian Biały
- 13.09.15 22:24 Sebastian Biały
- 14.09.15 01:37 Roman W
- 14.09.15 02:53 Waldek Hebisch
- 14.09.15 04:02 Waldek Hebisch
- 14.09.15 08:56 Tomasz Kaczanowski
- 14.09.15 10:16 AK
- 14.09.15 10:31 Tomasz Kaczanowski
- 14.09.15 10:38 AK
- 14.09.15 10:42 Tomasz Kaczanowski
- 14.09.15 10:54 AK
- 14.09.15 11:16 szemrany
- 14.09.15 12:31 Stachu 'Dozzie' K.
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-16 Najlepszy akumulator 12V
- 2025-03-16 Co powinno spotkać "adwokatów dwóch" uczestniczących w przesłuchaniu świadka do którego nie dopuszczono adwokata świadka?
- 2025-03-16 Przednich p-mgielnych nie wolno bez mgły
- 2025-03-16 Co w KANADZIE wolno komercyjnie (na razie się nie czepili?)
- 2025-03-16 silnik-chwilówka
- 2025-03-16 Prokurator Wrzosek "Bezstronna" nie przyczynia się do śmierci (dowodnie) - oświadcza bodnatura [Dwie Kacze Wieże]
- 2025-03-15 kraje nieprzyjazne samochodom
- 2025-03-15 parking Auchan
- 2025-03-15 Art. 19.1 ustawy o ochronie praw autorskich
- 2025-03-15 przegląd za mną
- 2025-03-15 Na co komu okna
- 2025-03-15 Mój elektryk
- 2025-03-15 Fejk muzyczny czy nie fejk
- 2025-03-15 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-15 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk