Groups > de.sci.electronics > #319380

Re: NIHS

From	Hanno Foest <hurga-news2@tigress.com>
Newsgroups	de.sci.electronics
Subject	Re: NIHS
Date	2022-03-31 18:23 +0200
Message-ID	<jam2s9Fkjq6U1@mid.individual.net> (permalink)
References	(10 earlier) <t1t5qb$2khn$1@solani.org> <jafrdoFecq7U1@mid.individual.net> <t1v0na$3kjj$1@solani.org> <jah026Fl9i0U1@mid.individual.net> <t241ho$it9s$1@news1.tnib.de>

Show all headers | View raw

Am 31.03.22 um 12:59 schrieb Marc Haber:

> Die Problematik ist halt, dass die formale Verifikation eines
> Programms auf Spezifikationsgerechtheit und korrekter Implementation
> schreiend aufwendig ist und nur dann Sinn ergibt, wenn man das
> Programm dann mit einem verifizierten Compiler übersetzt, mit
> verifizierten Libraries linkt und auf einer mit verifizierter Firmware
> versorgten verifizierten CPU ausführt.

https://github.com/SymbioticEDA/riscv-formal
https://trustworthy.systems/projects/seL4-verification/

> Und _DAS_ ist ein Beschaffungsproblem.

Geht so - inzwischen gibt es da schon ein paar Dinge.

Und es ist zwar richtig, daß man sowas für die Verifikation des 
Gesamtsystems braucht, aber wenn der Scope nur die Verifikation des 
Codes ist, kann man die Korrektheit des Rests einfach voraussetzen. An 
irgendeiner Stelle muß man eh eh einen Schnitt machen - ob die Physik 
des benutzten Prozessorexemplars nun wirklich der Theorie folgt, oder ob 
da ein winziger Produktionsfehler ein schwer zu entdeckendes und selten 
auftretendes Problem in Form einer Abweichung zur Theorie erzeugt, kann 
man eh nicht mit mathematischen Methoden herausfinden.

Hanno

-- 
The modern conservative is engaged in one of man's oldest exercises in
moral philosophy; that is, the search for a superior moral justification
for selfishness.
- John Kenneth Galbraith

Back to de.sci.electronics | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört! Arno Welzel <usenet@arnowelzel.de> - 2022-03-12 19:37 +0100
  Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört! Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-12 19:52 +0100
    OT: Aussagen über dicke Menschen (was: Re: Antonov 225 - größtes Flugzeug der Welt, mit 640 t Startgewicht - Zerstört!) Arno Welzel <usenet@arnowelzel.de> - 2022-03-13 15:18 +0100
      Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-13 22:15 +0100
        Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-14 02:28 +0100
          Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-14 13:15 +0100
            Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-14 14:04 +0100
        Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-03-14 15:01 +0100
          Re: OT: Aussagen über dicke Menschen Reinhardt Behm <rbehm@hushmail.com> - 2022-03-14 15:01 +0000
          Re: OT: Aussagen über dicke Menschen Alfred Gemsa <gemsa@gmx.de> - 2022-03-14 17:28 +0100
          Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-14 19:49 +0100
            Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-03-25 17:10 +0100
              Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 17:42 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 17:57 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 18:35 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 20:49 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-25 21:08 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-25 22:30 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-26 14:16 +0100
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-26 23:59 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 04:25 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 13:24 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:52 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 13:54 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:26 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:49 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:10 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:11 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:33 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:11 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:37 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:37 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:09 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:29 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:14 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:39 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-06 19:03 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:10 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-06 19:16 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:39 +0200
                NIHS (was: OT: Aussagen über dicke Menschen) Volker Bartheld <news2022@bartheld.net> - 2022-03-27 10:13 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-27 11:39 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-28 09:29 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-28 15:28 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-28 20:23 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-28 22:29 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-29 09:39 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-29 09:48 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 12:35 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:39 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 14:49 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:14 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 18:11 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 19:10 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 15:14 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-29 20:04 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:02 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-30 09:34 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 13:36 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-03-30 14:32 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-30 15:01 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-30 16:11 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-30 18:10 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-03-30 18:21 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-31 13:16 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-03-31 13:29 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-04-01 15:53 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-04-01 15:58 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 17:05 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 17:07 +0200
                Re: NIHS Eric Bruecklmeier <u@5i7.de> - 2022-04-02 13:32 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 21:04 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-30 10:19 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 14:02 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-03-31 12:59 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-03-31 13:05 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-31 13:28 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-31 15:14 +0000
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-03-31 20:42 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-04-01 13:21 +0000
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-31 18:23 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 11:03 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 11:18 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 11:48 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 12:54 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-04-01 11:36 +0000
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-01 15:35 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 18:20 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 18:33 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 19:19 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:25 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-04-05 13:01 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:12 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:17 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 18:51 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:42 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:43 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:20 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-06 18:24 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:04 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:49 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-04-02 13:30 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:23 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-01 18:10 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:03 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-05 17:13 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:22 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-04-06 08:59 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-04-06 09:58 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 13:45 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-06 22:38 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 23:31 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-06 13:18 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-04-01 13:58 +0200
                Re: NIHS Rolf Bombach <rolfnospambombach@invalid.invalid> - 2022-04-01 19:24 +0200
                Re: NIHS Josef Moellers <josef.moellers@invalid.invalid> - 2022-04-01 08:44 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-30 14:57 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 15:07 +0200
                Re: NIHS Enrik Berkhan <Enrik.Berkhan@inka.de> - 2022-03-30 16:13 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 20:57 +0200
                Re: NIHS Thomas Prufer <prufer.public@mnet-online.de.invalid> - 2022-03-31 07:52 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-31 14:39 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 12:03 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-02 14:05 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:32 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:53 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:10 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:39 +0200
                Re: NIHS Theo Bomba <medicus@hohenheim.org> - 2022-04-05 14:48 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 16:49 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:50 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:09 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:01 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 12:32 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:34 +0200
                Re: NIHS Reinhardt Behm <rbehm@hushmail.com> - 2022-03-29 14:52 +0000
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:33 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-29 17:58 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 19:04 +0200
                Re: NIHS Hanno Foest <hurga-news2@tigress.com> - 2022-03-29 20:34 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:10 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 09:57 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 16:28 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-29 11:21 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 13:44 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 14:42 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-29 17:02 +0200
                Re: NIHS Volker Bartheld <news2022@bartheld.net> - 2022-03-29 18:13 +0200
                Re: NIHS Bernd Laengerich <Bernd.Laengerich@web.de> - 2022-03-29 23:35 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-03-30 02:28 +0200
                Re: NIHS Marc Haber <mh+usenetspam1118@zugschl.us> - 2022-04-05 17:16 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:42 +0200
                Re: NIHS Gerrit Heitsch <gerrit@laosinh.s.bawue.de> - 2022-04-05 18:44 +0200
                Re: NIHS Helmut Schellong <rip@schellong.biz> - 2022-04-05 18:51 +0200
                Re: NIHS Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:36 +0200
                Re: OT: Aussagen über dicke Menschen Axel Berger <Spam@Berger-Odenthal.De> - 2022-03-27 13:56 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 14:57 +0200
                Re: OT: Aussagen über dicke Menschen Volker Bartheld <news2022@bartheld.net> - 2022-03-27 22:17 +0200
                Re: OT: Aussagen über dicke Menschen Volker Bartheld <news2022@bartheld.net> - 2022-03-27 22:21 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-28 07:12 +0200
                Re: OT: Aussagen über dicke Menschen Andreas Neumann <an5275@sedo.com> - 2022-03-27 19:10 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 19:47 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:46 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 13:45 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 15:25 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 16:45 +0200
                Re: OT: Aussagen über dicke Menschen Theo Bomba <medicus@hohenheim.org> - 2022-04-02 17:09 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 15:00 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-05 17:16 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-06 18:37 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-06 19:08 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-12 00:55 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 14:58 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-02 11:42 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-04-02 12:40 +0200
                Re: OT: Aussagen über dicke Menschen Arno Welzel <usenet@arnowelzel.de> - 2022-04-05 15:01 +0200
              Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-26 00:00 +0100
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-26 14:20 +0100
                Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-27 11:47 +0200
                Re: OT: Aussagen über dicke Menschen Helmut Schellong <rip@schellong.biz> - 2022-03-27 11:55 +0200
                Re: OT: Aussagen über dicke Menschen Hanno Foest <hurga-news2@tigress.com> - 2022-03-27 13:23 +0200
                Re: OT: Aussagen über dicke Menschen Rupert Haselbeck <mein-rest-muell@gmx.de> - 2022-03-27 14:56 +0200

csiph-web