Products > Programming

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

(1/2) > >>

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

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

anyone?  :-//

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

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.


[0] Message Index

[#] Next page

There was an error while thanking
Go to full version
Powered by SMFPacks Advanced Attachments Uploader Mod