GDPA  
Index for tools/publications on formal methods  

Types of Systems: Sequential systems

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

    /Hoare, 1985/ Communicating Sequential Processes

    Projects/Tools

    ACL2 - A Computational Logic for Applicative Common Lisp
    B-Method
    Boyer-Moore - Theorem Prover
    LARCH
    LOTOS - Language of Temporal Ordering Specifications
    Nqthm - Boyer-Moore theorem prover
    PVS - Prototype Verification System
    RAISE Method
    VDM - Vienna Development Method
    Z notation

    See also

    Index for publications on formal methods

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