Results 131 to 136 of about 1,158 (136)

A Variation of Quicksort for Model Checking with Promela and SPIN

2018
Chu Luo
exaly  

Semantic on PROMELA dynamic process creation in concurrent systems

2016
exaly  

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

Advanced Materials Research, 2014
exaly  

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

2009
Jianxi Fan, Guangquan Zhang
exaly  

Transformation of time Petri net into Promela

2017
Arthit Thongtak, Wiwat Vatanawood
exaly  

Yet Another Model Checker for PROMELA - The Transformation Approach

2010
exaly