Spinroot

A forum for Spin users

You are not logged in.

#1 2018-10-22 08:50:44

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

Offline

#2 2018-10-28 22:02:19

spinroot
forum
Registered: 2010-11-18
Posts: 657
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?)

Offline

#3 2018-11-14 17:38:52

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

Offline

Board footer

Powered by FluxBB