Results 91 to 100 of about 1,158 (136)
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
Fully Automated Translation of BoxTalk to Promela [PDF]
, 2011 Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may exhibit unpredictable behaviour.
Kajarekar, Tejas
core
Interactive Timed Simulation of Distributed Systems -
, 1995 Simulation is a powerful tool in the development cycle of distributed systems; it has long been studied and practiced. The present paper presents an approach to timed interactive simulation based on the execution of timed CSP-like models; the language ...
Roberto Manione +3 more
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
A Scheme of Construct Association from PROMELA to Java
, 2013 PROMELA is one of the most widely used modeling languages to model concurrent and reactive systems. Although model checking can be veru useful, once PROMELA model has been generated it is still necessary to write the application manually by hand.
Suprapto, Suprapto +3 more
core
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
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