Java Threads mailing list archive

Re: New Book: CONCURRENCY

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?

-- =


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