Top File of PVS fault_tolerance Library

 
% Contributors:
%  Paul Miner -- NASA Langley
%  Jeff Maddalon -- NASA Langley
%  Alfons Geser -- NIA ( now HTWK Leipzig)
%  Lee Pike -- NASA Langley (now Galois, Inc.)

top: THEORY

  BEGIN

  IMPORTING
    core_top,  % generalized consensus protocols
    virtual_clock_top % High-level clock synchronization resulst

  END top

The tag identifies links that are outside the NASA domain