GDPA  
Index for tools/publications on formal methods  

Development Phases: Description

Contents  
  • Publications
  • Projects/Tools
  • See also

    • Publications

    /Iida, 91/ Generating a Menu-oriented Navigation System from Formal Descriptions of Software Development Activity Sequence
    /Votta, 1993/ Comparing One Formal to Informal Process Description

    Projects/Tools

    CIRCAL - CIRcuit CALculus
    Estelle - Formal Description Technique
    Murphi - description language and verifier tool
    SDL - Specification and Description Language

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster