NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS

  • 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