• Aucun résultat trouvé

[PDF] Top 20 On the Power of Statistical Model Checking

Has 10000 "On the Power of Statistical Model Checking" found on our website. Below are the top 20 most common "On the Power of Statistical Model Checking".

On the Power of Statistical Model Checking

On the Power of Statistical Model Checking

... exploration of strategies for stochastic (priced) timed games in a user-friendly ...(statistical model checking), Uppaal Tiga [4] (syn- thesis for timed games) and the method proposed ... Voir le document complet

21

A Logic for the Statistical Model Checking of Dynamic Software Architectures

A Logic for the Statistical Model Checking of Dynamic Software Architectures

... features of contemporary systems, which often operate in dy- namic environments subjected to ...make the system to meet the desired properties remains a major chal- ...First, the verification ... Voir le document complet

17

Motion planning in crowds using statistical model checking to enhance the social force model

Motion planning in crowds using statistical model checking to enhance the social force model

... using Statistical Model Checking to Enhance the Social Force Model Alessio Colombo 1 , Daniele Fontanelli 1 , Axel Legay 2 , Luigi Palopoli 1 and Sean Sedwards 2 Abstract— Crowded ... Voir le document complet

8

Rare Events for Statistical Model Checking: An Overview

Rare Events for Statistical Model Checking: An Overview

... for statistical model-checking. The tool offers a series of SMC algorithms, included advanced techniques for rare events simulation, distributed SMC, non-determinism, and ...simulators. ... Voir le document complet

15

Plasma Lab: A Modular Statistical Model Checking Platform

Plasma Lab: A Modular Statistical Model Checking Platform

... (GCSL) The DANSE project has in- troduced GCSL [2], a text-pattern based specification language with a formal semantics given by a temporal ...bridges the gap between natural lan- guage requirements and ... Voir le document complet

18

Importance Splitting for Statistical Model Checking Rare Properties

Importance Splitting for Statistical Model Checking Rare Properties

... denotes the number of simulations and ω i is sampled according to f ...effectively the realisation of a Bernoulli random variable with parameter ...(e.g., the Chernoff bound [5]) that ... Voir le document complet

17

Model-checking process equivalences

Model-checking process equivalences

... impose the usual restriction that recursive variables should occur underneath an even number of ...ensure the existence of fixpoints. For instance, the expression µX ...Trickier, ... Voir le document complet

28

Command-based importance sampling for statistical model checking

Command-based importance sampling for statistical model checking

... force the Hessian to be negative definite. In the case of the cross-entropy algorithm of [31], this constraint is inherent because it works at the level of in- dividual ... Voir le document complet

41

Faster Statistical Model Checking by Means of Abstraction and Learning

Faster Statistical Model Checking by Means of Abstraction and Learning

... kind of meaningful formal ...usually the case when stochastic system models are automatically gen- erated from higher level descriptions, ...part of various designs/analysis flows ...number of ... Voir le document complet

17

Statistical Model Checking of Systems of Systems: An Industrial Approach

Statistical Model Checking of Systems of Systems: An Industrial Approach

... System of Systems (SoS) is a large-scale, geographically distributed set of independently man- aged, heterogeneous Constituent Systems (CS) collaborating as a whole to accomplish functions that could not be ... Voir le document complet

21

Statistical model checking QoS properties of systems with SBIP

Statistical model checking QoS properties of systems with SBIP

... end The code above, describes the SBIP sending proto- col model that uses some of the provided functionality in ...instance, the distribution t predefined type is used to define ... Voir le document complet

15

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking

An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking

... for the weights. Importance splitting works by reformulating the rare probability as a product of less rare probabilities conditioned on levels that must be ...considered the use of ... Voir le document complet

18

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking

Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking

... bound the error of results obtained by importance ...Specifically, the sample variance of the results may be a very poor indicator of the true variance ...to the ... Voir le document complet

17

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

... more model transformation-based AADL analysis approaches resort to the benefits of widely- used model checking [19] and theorem proving techniques [5], ...extended the semantics ... Voir le document complet

14

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking

... system The reliability of the system is affected by the failures of the sensors, actuators, and ...processors. The probability of bus failure is negligible, hence ... Voir le document complet

26

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

... from the command line or embedded in other software as a ...create the simulator class. The minimum requirement is to implement the methods newTrace() and nextState(), that initiate a new ... Voir le document complet

5

Statistical Model Checking: Past, Present, and Future

Statistical Model Checking: Past, Present, and Future

... notions of eventually (F), always (G) and one thing after another ...φ. Statistical model checking refers to a series of simulation- based techniques that can be used to answer two ... Voir le document complet

14

A Platform for High Performance Statistical Model Checking – PLASMA

A Platform for High Performance Statistical Model Checking – PLASMA

... using the ‘method of arbitrary partial propensities’ (MAPP [6]). The MAPP is based on the Gillespie ‘direct method’ (DM [8]) but performs significantly better in large-scale practical appli- ... Voir le document complet

7

Statistical model checking for parameterized models

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 ... Voir le document complet

17

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems

... render the problem of ac- curate prediction of the (emergent) behavior of CPSs extremely ...cause of (exponential) state explosion, model-based approaches to this problem ... Voir le document complet

16

Show all 10000 documents...