Results 121 to 130 of about 1,158 (136)

DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems

International Journal of Simulation and Process Modelling, 2017
Aznam Yacoub, Bernard Zeigler, Claudia Frydman   +2 more
exaly  

Automated generation of Promela model from SDL specification

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

A generalized semantics of PROMELA for abstract model checking

Formal Aspects of Computing, 2004
Ernesto Pimentel, Gallardo María-Del-Mar   +1 more
exaly  

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

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

Translating Basic Metric Temporal Logic Formulas into Promela

Lecture Notes in Electrical Engineering, 2016
Arthit Thongtak, Wiwat Vatanawood
exaly  

Model checking the observational determinism security property using PROMELA and SPIN

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

Visualization of Promela with NS-Chart

2019
Wiwat Vatanawood
exaly  

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  

Translation of Timed Promela to Timed Automata with Discrete Data

Fundamenta Informaticae, 2008
exaly  

A Variation of Quicksort for Model Checking with Promela and SPIN

2017
Chu Luo
exaly