Results 121 to 130 of about 864 (171)
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 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alastair F Donaldson +2 more
exaly +3 more sources
Discrete-time Promela and Spin
, 1998 Spin is a software package for the verification of concurrent systems. A system to be verified is modeled in Promela — Spin’s input language. We present an extension of Promela and Spin with discrete time that provides an opportunity to model systems whose correct functioning crucially depends on timing parameters.
Bosnacki, D., Dams, D.R.
core +4 more sources