Toward Automatic Generation of Promela Models from SDL Specification
, 2008 — This paper presents our research in the domain of mechanical extraction of a model from an SDL (Specification and Description Language) specification of a system.
Zmago Brezočnik, Tatjana Kapus
core
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. [PDF]
Form Methods Syst Des, 2017 Konnov I, Lazić M, Veith H, Widder J.
europepmc +1 more source
Automated Generation of Promela Model from SDL Specification
, 2008 NOTICE: This is the author’s version of a work that was accepted for publication in Computer Standards & Interfaces. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality ...
Zmago Brezočnik, Tatjana Kapus
core
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Sensors (Basel), 2020 Chouhan AP, Banda G.
europepmc +1 more source
Quantitative PCR Assays for Detecting Loach Minnow (Rhinichthys cobitis) and Spikedace (Meda fulgida) in the Southwestern United States. [PDF]
PLoS One, 2016 Dysthe JC +5 more
europepmc +1 more source
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. [PDF]
Front Robot AI, 2018 De Nicola R, Di Stefano L, Inverso O.
europepmc +1 more source
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
Sensors (Basel), 2019 López J +2 more
europepmc +1 more source
The SLMTA programme: Transforming the laboratory landscape in developing countries. [PDF]
Afr J Lab Med, 2014 Yao K +3 more
europepmc +1 more source
The fission yeast Cdc1 protein, a homologue of the small subunit of DNA polymerase delta, binds to Pol3 and Cdc27. [PDF]
EMBO J, 1996 MacNeill SA +4 more
europepmc +1 more source