Home Page
links
last updated November 24, 1998
 
formalWARE 
    project  

  Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results 
 
  Overview 
  Publications 
  Presentation 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

Links to other Formal Methods sites:

Oxford University -- Formal Methods 
Cambridge University -- Automated Reasoning Group 
Brigham Young University -- Laboratory for Applied Logic 
NASA Langley Formal Methods  
The University of Dublin -- Formal Methods Europe  
Oxford University Computing Laboratory -- Safemos  
MIT -- Larch Home Page  
Cornell University -- Nuprl Project  
Tele Danmark Research -- Specification and Description Language  
University of Edinburgh -- Laboratory for Foundations of Computer Science 
Oxford University Computing Laboratory -- The Communicating Sequential Processes Archive  
University of Manchester -- Formal Aspects of Computing 
A Formal Methods Virtual Library