Tools for Distributed Systems

Article View: comp.specification

Article #335

Back to comp.specification Previous Next

#335

From: Claus Dendorfer
Date: Tue, 26 Feb 1991 13:21

18 lines
1168 bytes


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

Technical Details

Message-ID: <1991Feb26.132146.27492@newsserv.informatik.tu-muenchen.de>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!unido!ira.uka.de!fauern!NewsServ!dendorfe

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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