[PDF] Top 20 A Model Checking Method for Partially Symmetric Systems
Has 10000 "A Model Checking Method for Partially Symmetric Systems" found on our website. Below are the top 20 most common "A Model Checking Method for Partially Symmetric Systems".
A Model Checking Method for Partially Symmetric Systems
... of partially symmetri formulas whi h are onsidered as asymmetri ...is a partially sym- metri formula: \If some pro ess is waiting for a resour e then it will get it, provided none of ... Voir le document complet
16
Randomization method and backward SDEs for optimal control of partially observed path-dependent stochastic systems
... include a dependence on the path ...consider a priori more general model than ..., for example an unobserved and uncontrolled factor (see Application in sub- section ...in a standard ... Voir le document complet
49
Model Checking Lots of Systems
... [1] for both SPLs, comparing the performance of the classical model checking algorithm (also implemented in the tool) to our ...on a MacBook Pro with a 2,4 GHz Core 2 Duo processor and ... Voir le document complet
12
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
... Our method can be combined with the parallel composition of ...transition systems, PLTL and B¨ uchi automata. After a presentation of our refinement relation in Section 3, we explain the partitioned ... Voir le document complet
34
Model-Checking an Ecosystem Model for Decision-Aid
... allows a formal and efficient use of the original ...using a simple parame- terization routine based on the Lotka-Volterra equations that usually describe the population dynamics of biological ... Voir le document complet
6
Statistical Model Checking for Stochastic Hybrid Systems
... the model while still respecting its stochastic ...integration method. A fixed time step δt (defined by the user) is used by an internal integrator component added to the ... Voir le document complet
16
Elastic model for partially saturated granular materials
... represents a generalization of ...our model, and as a consequence, the capillary stresses depend on the negative pore water pressure, or suction, and on the water-air interface surface ...tension. ... Voir le document complet
10
BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems
... by a simple rule ...duce a FuzzyRule class as a derivative of Rule ...ensure a safe use of the frame- ...redefine–in a “semantically acceptable” way–methods test_conditions and ... Voir le document complet
9
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
... 5: A control system The reliability of the system is affected by the failures of the sensors, actuators, and ...When a transient fault occurs in a processor, rebooting the processor repairs the ... Voir le document complet
26
FoRTReSS: a flow for design space exploration of partially reconfigurable systems
... present a flow enabling design space exploration for partially reconfigurable systems with real-time constraints, called ...by a highly configurable SystemC simulator, RecoSim, handling ... Voir le document complet
26
An Automatique Technique for CTL* Model Checking
... through a state-transition graph which models the system ...Such a technique builds a quotient graph in which each node represents an equivalent class of ...by a subgroup of permutations ... Voir le document complet
21
TAGED Approximations for Temporal Properties Model-Checking
... properties, and use proof theory methods. Unlike these works, we develop an approximation and tree automata based approach, which can provide a fully automatic verification framework. Motivations. Recently, some ... Voir le document complet
19
Rare event simulation for statistical model checking
... Stochastic systems can also be analyzed with a pure probabilistic model checking ...with a pure formal approach. The PRISM toolset [87] also incorporates a statistical ... Voir le document complet
168
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic
... concerned, for the lower bound, we take advantage of the observation that a quantification in (PA) over a variable z can be simulated by a loop that increments a corresponding counter ... Voir le document complet
14
A Logic for the Statistical Model Checking of Dynamic Software Architectures
... software-intensive systems con- sists in verifying the correctness of their software architectures, ...mainly for evolving systems since such a verification needs to be performed before, ... Voir le document complet
17
Model-checking pour l'agriculture de précision
... Dans notre contexte, nous nous intéressons plus particulièrement aux systèmes automatisés mobiles pour l’agriculture. 3 Systèmes automatisés mobiles en agriculture Les systèmes automatisés mobiles conçus pour ... Voir le document complet
265
Tree Regular Model Checking for Lattice-Based Automata
... produces a TRS of 863 rewrite ...loop for ever, an approximation equation is ...Hence, a simple ap- proximation equation of the form outstack(x, outstack(y, z)) = z is enough for the standard ... Voir le document complet
40
Rare Events for Statistical Model Checking: An Overview
... perform a number of simu- lations until the overall property is decided, storing the resulting traces of the model-property ...induces a sequence of scores and a corre- sponding maximum ... Voir le document complet
15
Importance Splitting for Statistical Model Checking Rare Properties
... of a Bernoulli random variable with parameter ...and for γ → 0, Var(γ) ≈ γ. When a property is not rare there are useful bounding formulae ...expectation. For a Bernoulli random ... Voir le document complet
17
Compact Labelings For Efficient First-Order Model-Checking
... scheme for a class of structures C is a pair (A, B) of algorithms solving the labeling problem and using labels of length at most f (n) for n-vertex graphs of ...established for ... Voir le document complet
30
Sujets connexes