Re: ARC model specified in spinroot/promela

For what it's worth, spin is available from ports (devel/spin), which I've 
just adopted and updated to 6.5.2, so it is quite straightforward to get this 
running on any recent FreeBSD system.

I tested only with the ancient Peterson's mutual exclusion, which resolves 
instantly. Mailing-list archives don't preserve attachments, so, Cherry, if 
you could send it me directly that would be lovely. I spotted A. Mader's PLC 
Controller in the SPIN documents, that is one I am familiar with, and then 
realised that academic papers from the 2000s don't come with source code :(

[ade]