[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: New Book: CONCURRENCY

Subject: Re: New Book: CONCURRENCY
From: Oyvind Teig <Oyvind.Teig@xxxxxxxxxxxx>
Date: Wed, 21 Apr 1999 12:26:34 +0200
Alternate-recipient: Allowed
Cc: java-threads <java-threads@xxxxxxxxx>, occam-com@xxxxxxxxx
In-reply-to: <Pine.SUN.3.95.990421104102.1230A-100000@felinfoel>
X400-mts-identifier: [/PRMD=autronica/ADMD=TELEMAX/C=NO/;8756 99/04/21 12:26]
X400-originator: Oyvind.Teig@xxxxxxxxxxxx
X400-received: by mta mail.autronica.no in /PRMD=autronica/ADMD=TELEMAX/C=NO/; Relayed; Wed, 21 Apr 1999 12:26:34 +0200
X400-recipients: non-disclosure:;

Denis Nicole wrote:

> > Someone in this community was working an an occam->SMV compiler,
> > I think. How did it go? 
>
> It's me.  The occam->SMV depends on the flattening in occam->PIC which is
> almost complete.    

So, does it mean that I can compile occam with a new SPoC and have
it output (textual?) SMV and run a (share-ware?) SMV tool to test
properties?

occam->PIC - is that for the Microchip PIC-controller?

-- 

|=======================================|==========================|
| Oyvind Teig                           | oyvind.teig@xxxxxxxxxxxx |
| Navia Maritime AS, division Autronica | oyvind.teig@xxxxxxxxxxxx |
| 7005 Trondhem     |    http://www.navia.no | Tel:+47 73 58 12 68 |
| Norway            |http://www.autronica.no | Fax:+47 73 91 93 20 |
|===================|========================|=====================|

References:
- Re: New Book: CONCURRENCY
  - From: Denis A Nicole

Prev by Date: Re: New Book: CONCURRENCY
Next by Date: Re: New Book: CONCURRENCY
Previous by thread: Re: New Book: CONCURRENCY
Next by thread: Re: New Book: CONCURRENCY
Index(es):
- Date
- Thread