The Star Diagram Project

Computer Science Department
University of California, San Diego
[ Home ] Download [ Research] [ Papers ] [ Personnel ] [ FAQ ]

Required Software

  • If you plan on analyzing Ada programs you'll need to install Gnat 3.10p, the GNU Ada compiler. You can download a binary version from ftp.cs.nyu.edu. Be sure to retrieve version 3.10p.


StarTool

  • Elbereth (Java StarTool)

    Documentation


    Sample programs


    Related Projects


    If you have any problems installing or running StarTool, e-mail us.

  • Copyright 2000 UCSD Computer Science Department
    wgg@cs.ucsd.edu
    Last Modified: 8/22/00