GDPA  
Index for tools/publications on formal methods  

Development Phases: Analysis

Contents  
  • Projects/Tools
  • See also
  • Publications

    • Publications

    2000:
    /Hayes, J., 2000/ Component Design of Retargetable Program Analysis Tools that Reuse Intermediate Representations
    /Liang , 2000/ Towards Efficient and Accurate Program Analysis Using Light-Weight Context Recovery

    1999:
    /Liang , 1999/ Efficient Points-To Analysis For Whole-Program Analysis

    1998:
    /Atkinson.D, 1998/ Effective-Whole-Program Analysis in the Presence of Pointers

    Projects/Tools

    ACSR - Algebra of Communicating Shared Resources
    HyTech - The HYbrid TECHnology Tool
    MALPAS - static analysis tool-set
    SPARK - secure subset of Ada

    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