Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!ira.uka.de!fauern!NewsServ!dendorfe
From: dendorfe@Informatik.TU-Muenchen.DE (Claus Dendorfer)
Newsgroups: comp.specification
Subject: Tools for Distributed Systems
Keywords: tools, formal methods, distributed systems
Message-ID: <1991Feb26.132146.27492@newsserv.informatik.tu-muenchen.de>
Date: 26 Feb 91 13:21:46 GMT
Sender: news@newsserv.informatik.tu-muenchen.de
Reply-To: dendorfe@Informatik.TU-Muenchen.DE (Claus Dendorfer)
Organization: Technische Universitaet Muenchen, Germany
Lines: 18
Originator: dendorfe@sunbroy1.informatik.tu-muenchen.de



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).


Brought to you by Super Global Mega Corp .com