GDPA  
Index for tools/publications on formal methods  

Types of Systems: Concurrent systems

Contents  
  • Publications
  • Projects/Tools
  • See also

    • Publications

    /Magee, 1999/ Concurrency - State Models & Java Programs

    Projects/Tools

    CCS - Calculus of Communicating Systems
    CIRCAL - CIRcuit CALculus
    Concurrency Factory
    CSP - Communicating Sequential Processes
    LOTOS - Language of Temporal Ordering Specifications
    Meije - verification of concurrent programs
    Model checking
    Murphi - description language and verifier tool
    Petri Nets
    Pobl - development method for concurrent object-based programs
    RAISE Method
    TLA - Temporal Logic of Actions
    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