Promela | Sciweavers

43

SCP
2010

155views more SCP 2010»

Type inference and strong static type checking for Promela

13 years 10 months ago

The SPIN model checker and its speciﬁcation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...

Alastair F. Donaldson, Simon J. Gay

claim paper

Read More »

37

click to vote

JAR
2008

81views more JAR 2008»

Automatic Symmetry Detection for Promela

13 years 11 months ago

Download www.allydonaldson.co.uk

We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...

Alastair F. Donaldson, Alice Miller

claim paper

Read More »

46

click to vote

FUIN
2008

92views more FUIN 2008»

Translation of Timed Promela to Timed Automata with Discrete Data

13 years 11 months ago

Download www.mimuw.edu.pl

The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...

Wojciech Nabialek, Agata Janowska, Pawel Janowski

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers