Groups > de.sci.electronics > #319376

Re: NIHS

From	Bernd Laengerich <Bernd.Laengerich@web.de>
Newsgroups	de.sci.electronics
Subject	Re: NIHS
Date	2022-03-31 13:28 +0200
Message-ID	<jalhitFhak5U1@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.2022 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.

Ada hat sich wohl nie so richtig durchgesetzt, ist nicht Hip genug. Da gibt es 
schliesslich zertifizierte Umgebungen. In sicherheitsrelevanten Bereichen wird 
Ada allerdings verwendet. Bezeichnend dazu: "Bis auf einzelne Ausnahmen 
verweigert sich die Automobilindustrie ihrer Verwendung"
Man kann schliesslich auch in Whitespace oder Brainfuck coden, wenn es zwar 
keine Sicherheit aber "Fahrerlebnis" verspricht...

Bernd

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! Helmut Schellong <rip@schellong.biz> - 2022-03-10 23:03 +0100
  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