Products > Programming

Promela? verification modeling language: anyone has ever used it?

(1/2) > >>

DiTBho:
It seems Promela was used with the Plan9 kernel  :-//

Has anyone ever used it to verify the correctness of distributed or concurrent systems?
if so let me know  :D

DiTBho:
(Bell Labs' "SPIN" tool uses it, but... never seen it in action)

DiTBho:
anyone?  :-//

magic:
Rings a bell, but it was years ago when I studies CS at a university and I can't tell you anything useful.

Wrong forum, perhaps? And I don't mean "sub-forum" :P

abeyer:
I've seen this paper doing a comparison among some similar tools including spin that has a small but realistic example of a system problem and solution in each tool. Might be of interest to get a feel for it. I've never actually used spin/promela, though, so can't add much more.

Navigation

[0] Message Index

[#] Next page