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 Be sure to retrieve version 3.10p.


  • Elbereth (Java StarTool)


    Sample programs

    Related Projects

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

  • Copyright 2000 UCSD Computer Science Department
    Last Modified: 8/22/00