dendorfe@Informatik.TU-Muenchen.DE (Claus Dendorfer) (02/26/91)
We are looking for a survey on tools for the formal specification, verification and design of distributed systems. For example, we are thinking of: - mechanized proof support systems - rapid prototyping tools - tools that are based on automata theoretic concepts (e.g. used in protocol specification) - structured editors and specification support systems We are not fixed on a particular formalism. All help would greatly be appreciated. Please reply by e-mail or fax (+49 89 2105 8183).