Software Available

src2fm is a package for producing nicely formatted FrameMaker files from source code (currently Ada, C, and perhaps C++). It is reasonably stable and useful in its current form, albeit poorly documented, and is available free for downloading with anonymous ftp. More information.

Cats/Pis an experimental system for analyzing the synchronization structure of software. This prototype accepts an Ada-based program design language. It is of interest primarily to other researchers building state-space analysis tools, but we will make it available (free) to anyone who asks. More information.