products/Sources/formale Sprachen/PVS/fault_tolerance/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: commutative_ring_with_one.pvs   Sprache: PVS

Untersuchung PVS©
%
% General theories for a class of clock synchronization algorithms.
% The heritage of these theories traces back to Schneider's general
% proof.  The central idea is that any periodic protocol that
% satisfies precision enhancement and accuracy preservation will
% preserve precision and accuracy.  These theories resolve all of the
% limitations of Miner's earlier formalization in Ehdm.

% These theories were developed by Alfons Geser and Paul Miner
%

virtual_clock_top: THEORY

BEGIN

  IMPORTING
    virtual_clock_1, 
    virtual_clock_2

END virtual_clock_top

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.2Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff