Spinroot

brishna

Member

From: Lahore, Pakistan

Registered: 2018-09-25

Posts: 1

Looking for Promela Models/Datasets

Hi
I'm working on a tool to make it easier to utilize SPIN's error traces. In order to test and strengthen it I need (hundreds of) Promela models. I have tried looking for datasets online, but all the old links on spinroot are dead except one, and there aren't many available elsewhere (like github, university resources, forums, etc).
If anyone has models they can share with me, I'd appreciate it if you could email them to me at [email protected]. Alternatively, I could set up a repository and we could collectively build a new dataset.
I would also appreciate links to any online datasets still available.

Thank you

Brishna

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: Looking for Promela Models/Datasets

can you let us know which links on the spinroot examples page are dead?
i can try to see if i can restore them (or you can contact the owners of those pages?)

DavidFarago

Member

Registered: 2011-10-17

Posts: 21

Re: Looking for Promela Models/Datasets

Hi Brishna,

maybe the following sites will also help you:

https://web.archive.org/web/20171118181253/http://www.albertolluch.com/research/promelamodels
http://paradise.fi.muni.cz/beem/

Best
David

jllang

Member

From: Finland

Registered: 2021-05-05

Posts: 29

Re: Looking for Promela Models/Datasets

Is that project still alive? I'm interested.