Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results 
 
  Overview 
  Publications 
  Presentation 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

Tutorials:  

APE 

APE is a tool developed by Dan Hoffman and others for generating Ada test drivers from test scripts; this is an Ada adaptation of the PGMGEN tool described in a textbook co-authored by Dan.

Other Sources 

Many of the formalWARE publications can be used to learn about the methods and tools that have resulted from formalWARE. Project members may also be available on an independent basis for project consulting or to provide specialized training.