GDPA  
Index for tools/publications on formal methods  

Development Phases: Reasoning

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

    2000:
    /Jackson D., 2000/ Reasoning & Analysis: A Roadmap

    1998:
    /Dingel, 1998/ Reasoning about implicit Invocation

    Projects/Tools

    ACL2 - A Computational Logic for Applicative Common Lisp
    CCS - Calculus of Communicating Systems
    UNITY - programming notation for parallel and distributed programs

    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