Results 151 to 160 of about 864 (171)

Pimephales promelas RefSeq Genome

2015
Pimephales promelas genome reference ...
openaire   +1 more source

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation

Simulation, 2020
Aznam Yacoub
exaly  

Automated generation of Promela model from SDL specification

Computer Standards and Interfaces, 2007
Boštjan Vlaovic, Aleksander Vreže, Tatjana Kapus   +2 more
exaly  

Protocol verification with reactive PROMELA/RSPIN

1997
Elie Najm, Frank Olsen
openaire   +1 more source

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  

A Formal Executable Semantics of PROMELA

Byoungho Son, Kyungmin Bae
openaire   +1 more source

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

Computer Standards and Interfaces, 2009
Aleksander Vreže, Boštjan Vlaovic, 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, Leue Stefan
exaly  

Model checking the observational determinism security property using PROMELA and SPIN

Formal Aspects of Computing, 2015
Maryam Dabaghchian, Mohammad Abdollahi Azgomi, Abdollahi Azgomi Mohammad   +2 more
exaly