Results 111 to 120 of about 1,158 (136)
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
Automatic Symmetry Detection for Promela
Journal of Automated Reasoning, 2008 We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics.
Alice Miller, Alastair F Donaldson
exaly +2 more sources
Type inference and strong static type checking for Promela [PDF]
Science of Computer Programming, 2010 The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols.
Simon Gay, Alastair F Donaldson
exaly +2 more sources
From Scenarios to Test Implementations Via Promela [PDF]
Lecture Notes in Computer Science, 2010 International audienceWe report on a tool for generating executable concurrent tests from scenarios specified as message sequence charts.
Andreas Ulrich
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches: