GDPA  
Index for tools/publications on formal methods  

Development Phases: Verification - Model Checking

Contents  
  • Publications
  • Projects/Tools
  • See also

    • Publications

    2000:
    /Bultan, 2000/ Action Language: A Specification Language for Model Checking Reactive Systems
    /Corbett, 2000a/ Bandera: A Source-level Interface for Model Checking Java Programs
    /Dang, 2000/ Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System

    1999:
    /Gargantini, 1999/ Using Model Checking to Generate Tests from Requirements Specifications

    1998:
    /Alur, 1998/ Model Checking of Hierarchical State Machines
    /Dwyer, 1998/ Filter-based Model Checking of Partial Systems

    Projects/Tools

    Kronos - verification tool
    SGM - State Graph Manipulator
    SPIN - is an automated verification tool
    UPPAAL - verification and validation tools for real-time systems
    VeriSoft - model checking tool

    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