Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results 
 
  Overview 
  Publications 
  Presentation 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  News 
  Events 
  Index  
  Search   
  Links   
  Contacts

News 

October 1998 formalWARE members Ken Wong and Jeff Joyce will present "Refinement of Safety-Related Hazards into Verifiable Code Assertions" at SAFECOMP'98 in Heidelberg, Germany, October 5-7, 1998. 

September, 1998 formalWARE members Jeff Joyce and Ken Wong will present "Generating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning" at the 16th International System Safety Conference, Seattle, Washington, USA, September 14-19.    

July 29, 1998 formalWARE members Michael R. Donat and Jeffrey J. Joyce will present "Applying an Automated Test Description Tool to Testing Based on System Level Requirements" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada    

July 29, 1998 formalWARE member Kendra Cooper will present "Advantages of Stimulus Response Requirement Specification Techniques for System Testing" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada   

July 28, 1998 formalWARE members Richard Yates, James H. Andrews and Phil Gray will present "Practical Experience Applying Formal Methods to Air Traffic Management Software" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada