Tools for Distributed Systems

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Claus Dendorfer Tue, 26 Feb 1991 13:21

#335

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads