Spin/Promela

HiAnybody done any model verification with Spin/Promela?Looking for a good resource/forum as I am stuck with a project and cannot find anything useful, apart from the spinroot website itself!Thanks, cake

[231 byte] By [cakea] at [2007-10-2 16:21:45]

«« Thread : Why I do not enter the run method ?
»» How to declare a String of 50000 characters or more

# 1

there are none, its an exclusive language designed only for those lucky few that are invited to use it, you are welcome to feel suitably humiliated in your pathentic attempt at using it.niT

niTa at 2007-7-13 17:17:39 >

top of Java-index,Other Topics,Patterns & OO Design...

# 2

> there are none, its an exclusive language designed> only for those lucky few that are invited to use it,> you are welcome to feel suitably humiliated in your> pathentic attempt at using it.> A little bitter?

niTa at 2007-7-13 17:17:39 >

# 3

> Hi

> Anybody done any model verification with

> Spin/Promela?

> Looking for a good resource/forum as I am stuck with

> a project and cannot find anything useful, apart from

> the spinroot website itself!

http://www.amazon.com/gp/product/0321228626/104-7906591-6276728?v=glance&n=283155

http://spinroot.com/spin/Workshops/ws04/052-Tut-Holzmann.pdf

There is some sort of newsletter as well.

niTa at 2007-7-13 17:17:39 >

Java programming resources: FAQs, tutorials, compiler and browser download sites, documentation, books lists, IDEs, etc.

Spin/Promela

Other Topics New Topic

Other Topics Hot Topic

Other Topics

All Classified