🚀 go-pugleaf

Dear all,

At the moment it seems that a lot of people are interested in getting
a grasp of what formal methods are about.

As a result of the ESPRIT 2304 project Lotosphere the following information
is available:
- a LOTOS based methodology for the design of complex hard/software systems
- Tools to support Lotos
- Experience from industrial partners in applying the above to both
  ISDN and OSI system design

In Sept 1992 (14-16) a workshop will take place in Pisa where results 
are presented.


The results are otherwise available in the form of:
- several european companies and universities which can introduce you
  to LOTOS, the method, tools in the form of cooperation, consultancy
  and courses (e.g. on LOTOS what, how, why, tools, introduction in
    excisting development environment etc).
- Several contributions to conferences, such as Forte 92, PSTV 92,
  RACE Telecommunications Software Engineering Symposium 92, FME 93.
- Tools: these are available both "as is" or "maintained" from several
  companies and universities.


Anyone interested in the above can contact me. I will provide you with 
the information you require and/or with the coordinates of relevant people.



-- 
    ___
 __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
|  \___/          |         
|___     __   ___ | University of Twente     
| |  |  /  \ (__  | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
|_________________| tel. +31 53 893684              tfx. +31 53 333815

                    Humour, you're making me laugh.
                                    - Herman Finkers, Dutch comedian -