Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/fault_tolerance/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 31 kB image not shown  


Quelle  flex.info   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
5468697320697320666C65782E696E66
6F2C2070726F6475636564206279206D
616B65696E666F2076657273696F6E20
362E302066726F6D20666C65782E7465
78692E0A0A54686520666C6578206D61
6E75616C20697320706C616365642075
6E646572207468652073616D65206C69
63656E73696E6720636F6E646974696F
6E73206173207468650A72657374206F
6620666C65783A0A0A202020436F7079
72696768742028432920323030312C20
323030322C20323030332C2032303034
2C20323030352C20323030362C203230
30372C20323031322054686520466C65
780A50726F6A6563742E0A0A20202043
6F707972696768742028432920313939
302C2031393937205468652052656765
6E7473206F662074686520556E697665
7273697479206F662043616C69666F72
6E69612E0A416C6C2072696768747320
72657365727665642E0A0A2020205468
697320636F6465206973206465726976
65642066726F6D20736F667477617265
20636F6E747269627574656420746F20
4265726B656C6579206279205665726E
0A506178736F6E2E0A0A202020546865
20556E69746564205374617465732047
6F7665726E6D656E7420686173207269
6768747320696E207468697320776F72
6B207075727375616E7420746F0A636F
6E7472616374206E6F2E202044452D41
4330332D373653463030303938206265
747765656E2074686520556E69746564
20537461746573204465706172746D65
6E74206F660A456E6572677920616E64
2074686520556E697665727369747920
6F662043616C69666F726E69612E0A0A
2020205265646973747269627574696F
6E20616E642075736520696E20736F75
72636520616E642062696E6172792066
6F726D732C2077697468206F72207769
74686F75740A6D6F6469666963617469
6F6E2C20617265207065726D69747465
642070726F7669646564207468617420
74686520666F6C6C6F77696E6720636F
6E646974696F6E73206172650A6D6574
3A0A0A2020312E205265646973747269
627574696F6E73206F6620736F757263
6520636F6465206D7573742072657461
696E207468652061626F766520636F70
7972696768740A20202020206E6F7469
63652C2074686973206C697374206F66
20636F6E646974696F6E7320616E6420
74686520666F6C6C6F77696E67206469
73636C61696D65722E0A0A2020322E20
5265646973747269627574696F6E7320
696E2062696E61727920666F726D206D
75737420726570726F64756365207468
652061626F766520636F707972696768
740A20202020206E6F746963652C2074
686973206C697374206F6620636F6E64
6974696F6E7320616E64207468652066
6F6C6C6F77696E6720646973636C6169
6D657220696E207468650A2020202020
646F63756D656E746174696F6E20616E
642F6F72206F74686572206D61746572
69616C732070726F7669646564207769
7468207468650A202020202064697374
7269627574696F6E2E0A0A2020204E65
697468657220746865206E616D65206F
662074686520556E6976657273697479
206E6F7220746865206E616D6573206F
662069747320636F6E7472696275746F
72730A6D617920626520757365642074
6F20656E646F727365206F722070726F
6D6F74652070726F6475637473206465
72697665642066726F6D207468697320
736F6674776172650A776974686F7574
207370656369666963207072696F7220
7772697474656E207065726D69737369
6F6E2E0A0A2020205448495320534F46
54574152452049532050524F56494445
44202241532049532220414E44205749
54484F555420414E5920455850524553
53204F5220494D504C4945440A574152
52414E544945532C20494E434C554449
4E472C20574954484F5554204C494D49
544154494F4E2C2054484520494D504C
4945442057415252414E54494553204F
460A4D45524348414E544142494C4954
5920414E44204649544E45535320464F
52204120504152544943554C41522050
5552504F53452E0A494E464F2D444952
2D53454354494F4E2050726F6772616D
6D696E670A53544152542D494E464F2D
4449522D454E5452590A2A20666C6578
3A2028666C6578292E20202020202046
617374206C65786963616C20616E616C
797A65722067656E657261746F722028
6C6578207265706C6163656D656E7429
2E0A454E442D494E464F2D4449522D45
4E5452590A0A1F0A496E646972656374
3A0A666C65782E696E666F2D313A2031
3632320A666C65782E696E666F2D323A
203331393136340A1F0A546167205461
626C653A0A28496E646972656374290A
4E6F64653A20546F707F313632320A4E
6F64653A20436F707972696768747F39
3432300A4E6F64653A205265706F7274
696E6720427567737F31303933390A4E
6F64653A20496E74726F64756374696F
6E7F31313234340A4E6F64653A205369
6D706C65204578616D706C65737F3132
3037330A4E6F64653A20466F726D6174
7F31353336310A4E6F64653A20446566
696E6974696F6E732053656374696F6E
7F31353831360A5265663A2044656669
6E6974696F6E732053656374696F6E2D
466F6F746E6F74652D317F3138303734
0A4E6F64653A2052756C657320536563
74696F6E7F31383134320A4E6F64653A
205573657220436F6465205365637469
6F6E7F31393330300A4E6F64653A2043
6F6D6D656E747320696E207468652049
6E7075747F31393733380A4E6F64653A
205061747465726E737F32313130380A
5265663A206361736520616E64206368
617261637465722072616E6765737F32
373934300A4E6F64653A204D61746368
696E677F33313934330A4E6F64653A20
416374696F6E737F33353232380A4E6F
64653A2047656E657261746564205363
616E6E65727F34343139300A4E6F6465
3A20537461727420436F6E646974696F
6E737F34393230390A4E6F64653A204D
756C7469706C6520496E707574204275
66666572737F35393735310A5265663A
205363616E6E696E6720537472696E67
737F36363239320A4E6F64653A20454F
467F36373932310A4E6F64653A204D69
7363204D6163726F737F36393530370A
4E6F64653A20557365722056616C7565
737F37323336310A4E6F64653A205961
63637F37343638360A4E6F64653A2053
63616E6E6572204F7074696F6E737F37
353538310A4E6F64653A204F7074696F
6E7320666F722053706563696679696E
672046696C656E616D65737F37383337
300A5265663A206F7074696F6E2D6865
616465727F37383539360A5265663A20
6F7074696F6E2D6F757466696C657F37
393331300A5265663A206F7074696F6E
2D7374646F75747F37393633350A4E6F
64653A204F7074696F6E732041666665
6374696E67205363616E6E6572204265
686176696F727F38303631380A526566
3A206F7074696F6E2D636173652D696E
73656E7369746976657F38303835390A
5265663A206F7074696F6E2D6C65782D
636F6D7061747F38313239320A526566
3A206F7074696F6E2D62617463687F38
313832340A5265663A206F7074696F6E
2D696E7465726163746976657F383233
34330A5265663A206F7074696F6E2D37
6269747F38333639370A5265663A206F
7074696F6E2D386269747F3835303031
0A5265663A206F7074696F6E2D646566
61756C747F38353431330A5265663A20
6F7074696F6E2D616C776179732D696E
7465726163746976657F38353437370A
5265663A206F7074696F6E2D706F7369
787F38363038310A5265663A206F7074
696F6E2D737461636B7F38373232380A
5265663A206F7074696F6E2D73746469
6E69747F38373333360A5265663A206F
7074696F6E2D79796C696E656E6F7F38
373831350A5265663A206F7074696F6E
2D7979777261707F38383235380A4E6F
64653A20436F64652D4C6576656C2041
6E6420415049204F7074696F6E737F38
383532350A5265663A206F7074696F6E
2D616E73692D646566696E6974696F6E
737F38383735320A5265663A206F7074
696F6E2D616E73692D70726F746F7479
7065737F38393030300A5265663A206F
7074696F6E2D6269736F6E2D62726964
67657F38393234380A5265663A206F70
74696F6E2D6269736F6E2D6C6F636174
696F6E737F38393538390A5265663A20
6F7074696F6E2D6E6F6C696E657F3839
3834390A5265663A206F7074696F6E2D
7265656E7472616E747F39303336330A
5265663A206F7074696F6E2D632B2B7F
39303937350A5265663A206F7074696F
6E2D61727261797F39313130310A5265
663A206F7074696F6E2D706F696E7465
727F39313139390A5265663A206F7074
696F6E2D7072656669787F3931333236
0A5265663A206F7074696F6E2D6D6169
6E7F39323835340A5265663A206F7074
696F6E2D6E6F756E697374647F393330
33380A5265663A206F7074696F6E2D79
79636C6173737F39333534390A4E6F64
653A204F7074696F6E7320666F722053
63616E6E657220537065656420616E64
2053697A657F39343033330A5265663A
206F7074696F6E2D616C69676E7F3934
3538330A5265663A206F7074696F6E2D
6563737F39353038350A5265663A206F
7074696F6E2D6D6574612D6563737F39
363132340A5265663A206F7074696F6E
2D726561647F39363631320A5265663A
206F7074696F6E2D66756C6C7F393834
39350A5265663A206F7074696F6E2D66
6173747F39383639300A4E6F64653A20
446562756767696E67204F7074696F6E
737F39393631340A5265663A206F7074
696F6E2D6261636B75707F3939383031
0A5265663A206F7074696F6E2D646562
75677F3130303334360A5265663A206F
7074696F6E2D706572662D7265706F72
747F3130313036380A5265663A206F70
74696F6E2D6E6F64656661756C747F31
30313639340A5265663A206F7074696F
6E2D74726163657F3130323031320A52
65663A206F7074696F6E2D6E6F776172
6E7F3130323330330A5265663A206F70
74696F6E2D766572626F73657F313032
3337310A5265663A206F7074696F6E2D
7761726E7F3130323830300A4E6F6465
3A204D697363656C6C616E656F757320
4F7074696F6E737F3130333031390A4E
6F64653A20506572666F726D616E6365
7F3130333437350A4E6F64653A204378
787F3131333732320A4E6F64653A2052
65656E7472616E747F3132313831340A
4E6F64653A205265656E7472616E7420
557365737F3132323534380A4E6F6465
3A205265656E7472616E74204F766572
766965777F3132343131300A4E6F6465
3A205265656E7472616E74204578616D
706C657F3132343931300A4E6F64653A
205265656E7472616E74204465746169
6C7F3132353638330A4E6F64653A2053
706563696679205265656E7472616E74
7F3132363138370A4E6F64653A204578
747261205265656E7472616E74204172
67756D656E747F3132363833370A4E6F
64653A20476C6F62616C205265706C61
63656D656E747F3132383038390A4E6F
64653A20496E697420616E6420446573
74726F792046756E6374696F6E737F31
32393332340A4E6F64653A2041636365
73736F72204D6574686F64737F313331
3834350A4E6F64653A20457874726120
446174617F3133333139320A4E6F6465
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!