Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

Spracherkennung für: .rls vermutete Sprache: Postscript {Postscript[127] CS[382] Ada[388]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

           /*********************************************************/
                           /*Proof Rule Declarations*/
    /*Examiner Pro Edition, Version 9.1.0, Build Date 20101119, Build 19039*/
             /*Copyright (C) 2010 Altran Praxis Limited, Bath, U.K.*/
           /*********************************************************/


                        /*DATE : 29-NOV-2010 14:30:19.76*/

                              /*function RMD.K_R*/


rule_family k_r_rules:
     X      requires [X:any] &
     X <= Y requires [X:ire, Y:ire] &
     X >= Y requires [X:ire, Y:ire].

k_r_rules(1): interfaces__unsigned_32__size >= 0 may_be_deduced.
k_r_rules(2): interfaces__unsigned_32__first may_be_replaced_by 0.
k_r_rules(3): interfaces__unsigned_32__last may_be_replaced_by 4294967295.
k_r_rules(4): interfaces__unsigned_32__base__first may_be_replaced_by 0.
k_r_rules(5): interfaces__unsigned_32__base__last may_be_replaced_by 4294967295.
k_r_rules(6): interfaces__unsigned_32__modulus may_be_replaced_by 4294967296.
k_r_rules(7): word__size >= 0 may_be_deduced.
k_r_rules(8): word__first may_be_replaced_by 0.
k_r_rules(9): word__last may_be_replaced_by 4294967295.
k_r_rules(10): word__base__first may_be_replaced_by 0.
k_r_rules(11): word__base__last may_be_replaced_by 4294967295.
k_r_rules(12): word__modulus may_be_replaced_by 4294967296.
k_r_rules(13): round_index__size >= 0 may_be_deduced.
k_r_rules(14): round_index__first may_be_replaced_by 0.
k_r_rules(15): round_index__last may_be_replaced_by 79.
k_r_rules(16): round_index__base__first <= round_index__base__last may_be_deduced.
k_r_rules(17): round_index__base__first <= round_index__first may_be_deduced.
k_r_rules(18): round_index__base__last >= round_index__last may_be_deduced.

[ Verzeichnis aufwärts0.116unsichere Verbindung  ]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Neues von dieser Firma

letze Version des Agenda Kalenders

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

letze Version der Autor Authoringsoftware

     letze Version des Demonstrationsprogramms Goedel
     letze Version des Bille Abgleichprogramms
     Bilder

Jenseits des Üblichen ....
    

Besucher

Besucher