Results 161 to 170 of about 864 (171)

Advanced Topics in Promela

2008
openaire   +1 more source

Promela Formalization.

Arch. Formal Proofs, 2014
openaire   +1 more source

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
exaly  

A Variation of Quicksort for Model Checking with Promela and SPIN

2018
Chu Luo
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  

Yet Another Model Checker for PROMELA - The Transformation Approach

2010
exaly