The MEIJE Verification Tool Set
New tools, and pragmatics 

                            Eric MADELAINE


                      Workshop COST247, WG2
                             Evry, Sep 1994
  1. Title page
  2. Tools
  3. Autograph (screendump)
  4. Mauto (screendump)
  5. Hoggar (screendump)
  6. Objects
  7. Main Functions
  8. An Example
  9. Size Limits
  10. Case Studies
  11. Case Studies (cont.)
  12. Connections
  13. Conclusions
  14. ++ Expanded Model (FC2 automata)
  15. ++ Intermediate Descriptions (FC2 networks)
  16. ++ Example of abstraction criterion
------------------------------------------------------------ Eric Madelaine tel: 33-93657807 (secr. ...7825) INRIA Sophia-Antipolis fax: 33-93657766 Route des lucioles email: madelain@sophia.inria.fr BP 93 06902 Sophia-Antipolis CEDEX bureau: L123 FRANCE ------------------------------------------------------------