[PDF] Top 20 Model-checking process equivalences
Has 10000 "Model-checking process equivalences" found on our website. Below are the top 20 most common "Model-checking process equivalences".
Model-checking process equivalences
... any process equivalence notion is — given the aforementioned application of process equivalences in system design — the question of how difficult it is to decide for two given processes whether or ... Voir le document complet
28
Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'
... selected model checking technique. Model checking is based on an exploration of all feasible paths or behaviours of a system; moreover, it allows taking the temporal aspect into ...study ... Voir le document complet
22
An Automatique Technique for CTL* Model Checking
... the model check- ing, directly, through the ...isolation process is based on the intersection between the two symmetry groups of the graph and ...the model checking of a ... Voir le document complet
21
Semantic Business Process Regulatory Compliance Checking Using LegalRuleML
... business process regula- tory compliance ...compliance checking is a major challenge for companies and institutes, and being supported by automated techniques in such a verification phase results in a ... Voir le document complet
16
Statistical Model Checking for SystemC Models
... module’s process can be sensitive to a list of events. For example, a process may suspend itself and wait for a value change of a specific ...the process. In general, a process can wait for an ... Voir le document complet
9
Statistical model checking for parameterized models
... Results. The aim of this paper is to apply Monte Carlo simulation to para- metric Markov chains in order to approximate the probability of the considered property as a polynomial function of the parameters. In addition, ... Voir le document complet
17
SoS contract verification using statistical model checking
... SMC process in DANSE automata and biologic systems, but the implementation of other modeling formalisms, such as procedural programming languages such as C and Java, is already ...the model is represented ... Voir le document complet
18
Checking the Compliance of Business Process in Business Process Life Cycle
... Business Process Compliance, OWL 2, SWRL, Reasoner 1 Introduction Business process compliance (BPC) checking in companies is a crucial feature for a BPM ...business process compliance ... Voir le document complet
11
Statistical Model Checking for Stochastic Hybrid Systems
... the model while still respecting its stochastic ...the model. At the end of every step or if another process wins the race, all the rates are re-evaluated and the resulting values of the clocks are ... Voir le document complet
16
Statistical Model Checking for Product Lines
... statistical model checking for the analysis of quantitative properties of product line models by an ex- tended treatment of earlier work by the ...rich process-algebraic specifi- cation language whose ... Voir le document complet
20
Model-checking Distributed Applications with GRAS
... 3 Our Approach In this section, we detail how we plan to address the issues identied in the previous section. As GRAS, our prototype uses the SimGrid simulation framework to emulate the hosts and networks, and it really ... Voir le document complet
12
Parametric Model-Checking of Stopwatch Petri Nets
... as model-checking allow the verification of a system by exploring the state- space of a ...The model-checking of timed models has become more and more ...verification process must be ... Voir le document complet
33
Rare event simulation for statistical model checking
... 3.7 Conclusion and Related Work Stochastic systems can also be analyzed with a pure probabilistic model checking approach. While there is no clear winner, SMC is often more ecient in terms of memory and ... Voir le document complet
168
MCC’2015 – The Fifth Model Checking Contest
... bounded model checker that we developed ad-hoc for the competi- ...The process continued until either we found 16 hard formulas or we had examined 320 (= 20 × 16) random ... Voir le document complet
12
A Ontology-based Approach for Business Process Compliance Checking
... Business Process Compliance Business process compliance checking is the set of activities an enterprise does to ensure that its core business does not violate relevant regulations, in the ... Voir le document complet
7
Model Checking and Parameterized Distributed Systems
... one process" sequences and detects the failure ...one process" sequence leads from pred' to pred, we modify pred to represent the set of all the states reachable by executing again the sequence as ... Voir le document complet
18
Model Checking of SCADE Designed Systems
... So we can conclude that our approach does not produce a too large state space, due to encapsulation technique used (atomic execution of synchronous function into asynchronous process). Even if we have not yet ... Voir le document complet
9
Statistical Model Checking of Dynamic Software Architectures
... the process are (i) an architecture description in π-ADL and (ii) a set of properties specified in Dyn- ...the process proposed in our previous work [5, 6], the archi- tecture description in π-ADL is ... Voir le document complet
17
Accelerating Interpolation-Based Model-Checking
... n (Z) is such that the coefficients of its ℓ-th power are bounded by a polynomial in ℓ). Our proof is constructive and can be translated into a (non-optimized) algorithm. Our work is related to the framework recently ... Voir le document complet
23
Contributions to Statistical Model Checking
... interface model in order to make predication on the evolution of the system, or to detect emergeant ...the process is iterated as ...as model fitting, can be used to learn the abstraction by ... Voir le document complet
156
Sujets connexes