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.