Author Topic: Promela? verification modeling language: anyone has ever used it?  (Read 539 times)

0 Members and 1 Guest are viewing this topic.

Offline DiTBhoTopic starter

  • Super Contributor
  • ***
  • Posts: 3714
  • Country: gb
Promela? verification modeling language: anyone has ever used it?
« on: September 30, 2023, 05:36:59 pm »
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

The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
 

Offline DiTBhoTopic starter

  • Super Contributor
  • ***
  • Posts: 3714
  • Country: gb
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #1 on: September 30, 2023, 05:38:49 pm »
(Bell Labs' "SPIN" tool uses it, but... never seen it in action)
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
 

Offline DiTBhoTopic starter

  • Super Contributor
  • ***
  • Posts: 3714
  • Country: gb
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #2 on: October 22, 2023, 02:15:58 pm »
anyone?  :-//
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
 

Offline magic

  • Super Contributor
  • ***
  • Posts: 6704
  • Country: pl
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #3 on: October 22, 2023, 03:48:36 pm »
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
 

Offline abeyer

  • Regular Contributor
  • *
  • Posts: 245
  • Country: us
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #4 on: October 22, 2023, 09:55:48 pm »
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.
 
The following users thanked this post: DiTBho

Offline DiTBhoTopic starter

  • Super Contributor
  • ***
  • Posts: 3714
  • Country: gb
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #5 on: October 23, 2023, 04:26:18 am »
Wrong forum, perhaps? And I don't mean "sub-forum" :P

Where should I ask?  :-//
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
 

Offline DiTBhoTopic starter

  • Super Contributor
  • ***
  • Posts: 3714
  • Country: gb
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #6 on: November 01, 2023, 10:01:48 am »
Cannot find a discussion group on Facebook, Google, ...
Umm.
As a language it has some constructions that I really like!
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
 

Online SiliconWizard

  • Super Contributor
  • ***
  • Posts: 14030
  • Country: fr
Re: Promela? verification modeling language: anyone has ever used it?
« Reply #7 on: November 01, 2023, 09:46:11 pm »
I have heard of it but never met anyone who had actually ever used it. So, good luck finding that.

I haven't seen enough of it to figure out if it could be useful.
It's said to be supported by Spin, so that's probably where you can start: https://github.com/nimble-code/Spin
 


Share me

Digg  Facebook  SlashDot  Delicious  Technorati  Twitter  Google  Yahoo
Smf