EEVblog Electronics Community Forum
A Free & Open Forum For Electronics Enthusiasts & Professionals
Welcome,
Guest
. Please
login
or
register
.
Did you miss your
activation email
?
1 Hour
1 Day
1 Week
1 Month
Forever
Login with username, password and session length
This topic
This board
Entire forum
Google
Bing
Home
Help
Search
About us
Links
Login
Register
EEVblog Electronics Community Forum
»
Products
»
Computers
»
Programming
»
Promela? verification modeling language: anyone has ever used it?
« previous
next »
Print
Search
Pages: [
1
]
Go Down
Author
Topic: Promela? verification modeling language: anyone has ever used it? (Read 984 times)
0 Members and 1 Guest are viewing this topic.
DiTBho
Super Contributor
Posts: 4449
Country:
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
Logged
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
DiTBho
Super Contributor
Posts: 4449
Country:
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)
Logged
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
DiTBho
Super Contributor
Posts: 4449
Country:
Re: Promela? verification modeling language: anyone has ever used it?
«
Reply #2 on:
October 22, 2023, 02:15:58 pm »
anyone?
Logged
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
magic
Super Contributor
Posts: 7525
Country:
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"
Logged
abeyer
Frequent Contributor
Posts: 459
Country:
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.
Logged
The following users thanked this post:
DiTBho
DiTBho
Super Contributor
Posts: 4449
Country:
Re: Promela? verification modeling language: anyone has ever used it?
«
Reply #5 on:
October 23, 2023, 04:26:18 am »
Quote from: magic on October 22, 2023, 03:48:36 pm
Wrong forum, perhaps? And I don't mean "sub-forum"
Where should I ask?
Logged
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
DiTBho
Super Contributor
Posts: 4449
Country:
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!
Logged
The opposite of courage is not cowardice, it is conformity. Even a dead fish can go with the flow
SiliconWizard
Super Contributor
Posts: 15911
Country:
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
Logged
Print
Search
Pages: [
1
]
Go Up
« previous
next »
Share me
Smf
EEVblog Electronics Community Forum
»
Products
»
Computers
»
Programming
»
Promela? verification modeling language: anyone has ever used it?
There was an error while thanking
Thanking...
EEVblog Main Site
EEVblog on Youtube
EEVblog on Twitter
EEVblog on Facebook
EEVblog on Odysee