Results 161 to 170 of about 2,823 (181)

Promela Planning

2003
openaire   +1 more source

Protocol verification with reactive PROMELA/RSPIN

1997
Elie Najm, Frank Olsen
openaire   +1 more source

Automated generation of Promela model from SDL specification

Computer Standards and Interfaces, 2007
Boštjan Vlaović, Aleksander Vreze, Zmago Brezocnik   +2 more
exaly  

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models

Electronic Notes in Theoretical Computer Science, 2005
Alastair Donaldson, Alice Miller, Muffy Calder   +2 more
exaly  

Type inference and strong static type checking for Promela

Science of Computer Programming, 2010
Alastair F Donaldson
exaly  

Promela Formalization.

Arch. Formal Proofs, 2020
openaire   +1 more source

Sdl2pml — Tool for automated generation of Promela model from SDL specification

Computer Standards and Interfaces, 2009
Aleksander Vreze, Boštjan Vlaović, Zmago Brezocnik   +2 more
exaly  

Sequential Programming in Promela

2008
openaire   +1 more source

Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN

International Journal on Software Tools for Technology Transfer, 2000
Stefan Leue
exaly  

Advanced Topics in Promela

2008
openaire   +1 more source