GDPA  
Index for tools/publications on formal methods  

Development Phases: Proof

Contents  
  • Projects/Tools
  • Publications
  • See also

    • Publications

    2000:
    /Keidar, 2000/ An Inheritance-Based Technique for Building Simulation Proofs Incrementally

    1998:
    /Fong, 1998/ Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code

    Projects/Tools

    Coq - Proof Assistant
    JAPE - Just Another Proof Editor
    LEGO - Proof Assistant
    LPV - Linear Programming based software Validation technology
    Nqthm - Boyer-Moore theorem prover
    STeP - Stanford Temporal Prover

    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