Results 101 to 110 of about 864 (171)
Adaptive On-the-Fly Changes in Distributed Processing Pipelines. [PDF]
Front Big Data, 2021 Albers T +3 more
europepmc +1 more source
A verification strategy for web services composition using enhanced stacked automata model. [PDF]
Springerplus, 2015 Nagamouttou D +3 more
europepmc +1 more source
Cytochrome P450-dependent biotransformation capacities in embryonic, juvenile and adult stages of zebrafish (Danio rerio)-a state-of-the-art review. [PDF]
Arch Toxicol, 2021 Loerracher AK, Braunbeck T.
europepmc +1 more source
Static Reductions for Promela Specifications
, 2008 . The interleaving of concurrent processes actions leads to a combinatory explosion. There exists in Petri nets theory some structural reductions that combat the state explosion by agglomerating sequences of transitions into a single atomic transition ...
Cedric Cnam Paris +2 more
core
Verifying π-calculus Processes by Promela Translation
, 2003 In this paper, the possibility of verifying #-calculus processes via Promela translation is investigated. A general translation method from #-calculus processes to Promela models is presented and its usefulness is shown by performing verification ...
Kevin J. Compton, Hosung Song
core
Model checking: recent improvements and applications. [PDF]
Int J Softw Tools Technol Transf, 2018 Bošnački D, Wijs A.
europepmc +1 more source
Implementing Message Sequence Charts in Promela (Extended Abstract)
, 2007 We have previously defined a formal semantics for Message Flow Graphs and Message Sequence Charts, capturing most of the syntactic features contained in ITU-T recommendation Z.120.
Peter B. Ladkin, Stefan Leue
core
Correct Transformation from CCSL to Promela for verification
, 2012 Transforming a specification language into a language supported by a verification tool is a widely adopted way of doing formal verification. It enables the reuse of existing languages and tools.
Yin, Ling, Mallet, Frédéric
core
Creating implementations from PROMELA models [PDF]
, 1997 Siedfried Löffler, Ahmed Serhrouchni
openaire +1 more source