tools for specification

Article View: comp.specification

Article #268

Back to comp.specification Previous Next

#268

From: 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 *

Technical Details

Message-ID: <1992Oct9.164241.18786@di.unipi.it>

Path:

arc1-ca.pugleaf.net!sparky!uunet!ukma!darwin.sura.net!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!newsserver.di.unipi.it!cianca

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!darwin.sura.net!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!newsserver.di.unipi.it!cianca
From: cianca@di.unipi.it (Paolo Ciancarini)
Subject: tools for specification
Message-ID: <1992Oct9.164241.18786@di.unipi.it>
Keywords: tools, specification
Sender: netnews@di.unipi.it (USENET News System)
Nntp-Posting-Host: apollo.di.unipi.it
Organization: Dipartimento di Informatica, Universita' di Pisa
Date: Fri, 9 Oct 1992 16:42:41 GMT
Lines: 26