EEVblog Electronics Community Forum

Products => Computers => Programming => Topic started by: DiTBho on September 30, 2023, 05:36:59 pm

Title: Promela? verification modeling language: anyone has ever used it?
Post by: DiTBho on September 30, 2023, 05:36:59 pm
It seems Promela (https://en.wikipedia.org/wiki/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

Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: DiTBho on September 30, 2023, 05:38:49 pm
(Bell Labs' "SPIN" tool uses it, but... never seen it in action)
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: DiTBho on October 22, 2023, 02:15:58 pm
anyone?  :-//
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: magic 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
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: abeyer on October 22, 2023, 09:55:48 pm
I've seen this paper (https://arxiv.org/abs/1803.10324v1) 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.
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: DiTBho 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" :P

Where should I ask?  :-//
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: DiTBho 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!
Title: Re: Promela? verification modeling language: anyone has ever used it?
Post by: SiliconWizard 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