Results 171 to 180 of about 2,823 (181)

Model checking the observational determinism security property using PROMELA and SPIN

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

Abstraction framework and complexity of model checking based on the Promela models

2009
Guangquan Zhang, Jianxi Fan
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, Yuehui Zhang
exaly  

A Variation of Quicksort for Model Checking with Promela and SPIN

2018
Chu Luo, Yuehui Zhang
exaly  

Transformation of time Petri net into Promela

2017
Arthit Thongtak, Wiwat Vatanawood
exaly  

Research on the Structure of Authentication Protocol Analysis Based on MSCs/Promela

Advanced Materials Research, 2014
exaly  

Semantic on PROMELA dynamic process creation in concurrent systems

2016
exaly  

A Formal Executable Semantics of PROMELA

Byoungho Son, Kyungmin Bae
openaire   +1 more source

Yet Another Model Checker for PROMELA - The Transformation Approach

2010
exaly