tools for specification

Thread View: comp.specification

2 messages

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

2 total messages Started by Paolo Ciancarini Fri, 09 Oct 1992 16:42

#268

Author: Paolo Ciancarini
Date: Fri, 09 Oct 1992 16:42

26 lines
1336 bytes

I am interested in any tool that could be used 
in an educational institution
to write and reason with specifications
(eg. theorem provers for specific formalisms, 
graphical interfaces for Petri Nets, etc.).

I am preparing a graduate course at the Univ. of Bologna
on specification methods, and I would like
to let my students to test some tool.

For instance, time ago I read about 
a Larch theorem prover available by ftp, 
but I have lost the reference. Any kind soul
can give it to me?

Of course I will share what I find,
posting it here.

Many thanks

Paolo Ciancarini
--
* Paolo Ciancarini  (cianca@di.unipi.it)            *
* tel:     +39 50 510264 fax: +39 50 510226         *
* address: Dip. di Informatica - University of Pisa *
*          cso. Italia,40        56125 Pisa - Italy *

Re: tools for specification

#269

Author: Eric Dubuis
Date: Mon, 12 Oct 1992 16:19

26 lines
1582 bytes

In article 18786@di.unipi.it, cianca@di.unipi.it (Paolo Ciancarini) writes:
>I am interested in any tool that could be used 
>in an educational institution
>to write and reason with specifications
>(eg. theorem provers for specific formalisms, 
>graphical interfaces for Petri Nets, etc.).
>

For tools for LOTOS, you may get LITE (Lotosphere Integrated Tool
Environment).  For more informatin, please contact

Name:                    Jeroen van de Lagemaat
Work Phone:              +31 53 893684
Company:                 University of Twente
Work Address:            Dept. of Informatics,
                         P.O. Box 217,
                         7500 AE  ENSCHEDE,
                         THE NETHERLANDS
Email:                   lagemaat@cs.utwente.nl


---
*****************************************************************************
Eric Dubuis,					Tel.:	 +41 31 999 3790
Ascom Tech Ltd., V/TID,				Fax:	 +41 31 991 5211
CH-3018 Berne, Switzerland			E-mail:	 dubuis@tech.ascom.ch

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