The SDE can be downloaded here
The SDE requires GNU bison, expect, flex, and g++ to compile, which can be downloaded here
The SDE uses PVS, which can be dowloaded here
Richard Kemmerer / kemm@cs.ucsb.edu
URL: http://www.cs.ucsb.edu/~astral/down.html
last update: 7-27-99