Results 131 to 140 of about 2,823 (181)

A framework for automated conflict detection and resolution in medical guidelines.

Sci Comput Program, 2019
Bowles J, Caminati MB, Cha S, Mendoza J.
europepmc   +1 more source

The application of PROMELA and SPIN in the BOS project [PDF]

, 1997
openaire   +1 more source

module-2.2-Verification of Concurrent Programs - Overview [PDF]

, 2008
Ricci, Alessandro
core  

Some of the next articles are maybe not open access.

Related searches:

Automatic Symmetry Detection for Promela

Journal of Automated Reasoning, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alastair F Donaldson, Alice Miller
exaly   +2 more sources

Visualization of Promela with NS-Chart

2019 12th International Conference on Information & Communication Technology and System (ICTS), 2019
In the paradigm of model checking, a formal model is considered as one of the crucial sources that tends to be verified with the desired properties. The definition of the formal model should be understandable and clear in order to express the structure and behaviors of the system visually using diagrammatic tools.
Wiwat Vatanawood
exaly   +2 more sources