GDPA  
Index for tools/publications on formal methods  

Development Phases: Development

Contents  
  • Projects/Tools
  • See also
  • Projects/Tools

    CoFI - Common Framework Initiative
    Extended ML
    KIV - Karlsruhe Interactive Verifier
    Pobl - development method for concurrent object-based programs
    ProofPower
    Rapide - toolset for large-scale distributed multi-language systems

    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