Výsledky vyhledávání - "Model checking"

Principles of model checking Autor Baier, Christel, Katoen, Joost-Pieter

“…A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software…”
Získat plný text

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking Autor Rawlings, Blake C., Lafortune, Stephane, Ydstie, B. Erik

“…We present an algorithm to compute the unique maximally permissive state-based supervisor for any deterministic finite labeled transition system subject to a specification with combined invariance…”
Získat plný text

A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking Autor Silva, Geovana Ramos Sousa, Rodrigues, Genaína Nunes, Canedo, Edna Dias

“… Alternatively, model checking provides a model-based verification in a mathematically precise and unambiguous…”
Získat plný text

Parameterised complexity of model checking and satisfiability in propositional dependence logic Autor Mahmood, Yasir, Meier, Arne

“…) and investigate a variety of parameterisations with respect to central decision problems. The model checking problem (MC…”
Získat plný text

Model checking authorization requirements in business processes Autor Armando, Alessandro, Ponta, Serena Elisa

“… Previous work showed that model checking can be profitably used to check authorization requirements in business processes…”
Získat plný text

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way Autor Do, Canh Minh, Phyo, Yati, Ogata, Kazuhiro

“…We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem…”
Získat plný text

Efficient integration of online model checking into a small-footprint real-time operating system Autor Sudhakar, Krishna, Zhao, Yuhong, Rammig, Franz-Josef

“… One promising technique is Online Model Checking (OMC). The basic approaches on how to design and implement OMC have been discussed in a couple of papers. As OMC is a run‐time…”
Získat plný text

Principles of Model Checking Autor Baier, Christel, Katoen, Joost-Pieter, Larsen, Kim Guldstrand

“… One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically…”
Získat plný text

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations Autor Li, Tao, Tan, Feng, Wang, Qixin, Bu, Lei, Cao, Jian-Nong, Liu, Xue

“…Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical systems (CPS…”
Získat plný text

A case study of planning for smart factories: Model checking and Monte Carlo search for the rescue Autor Edelkamp, Stefan, Greulich, Christoph

“…In this work, we propose the application of the SPIN software model checker to a multiagent system that controls the industrial production of goods. The flow…”
Získat plný text

Model checking for coalition announcement logic Autor Алешина, Н.А.

“…) which is the main subject of the talk. CAL studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents…”
Získat plný text

AFChecker: Effective model checking for context-aware adaptive applications Autor Liu, Yepang, Xu, Chang, Cheung, S.C.

“… ► Our evaluation on two typical subjects shows that our approach is significantly more effective than the state of the art…”
Získat plný text

Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games Autor Wei, Xiaomin, Dong, Yunwei, Sun, Pengpeng, Xiao, Mingrui

“… This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games…”
Získat plný text

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

Získat plný text

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems Autor Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea

“… We use a formal modeling language that allows us to model systems with probabilistic behavior, possibly subject to quantitative feature constraints, and able to dynamically install, remove or replace features…”
Získat plný text

An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing Autor Keshanchi, Bahman, Souri, Alireza, Navimipour, Nima Jafari

“… Cloud computing is a new platform to manage and provide services on the internet. Lately, researchers have paid attention a lot to this new subject…”
Získat plný text

Use of timed automata and model-checking to explore scenarios on ecosystem models Autor Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy

“…The interest to build ecosystem models is well acknowledged in order to improve the understanding of the sophisticated linkages between humans and natural…”
Získat plný text

A generalization of the Kaplan–Meier estimator for analyzing bivariate mortality under right-censoring and left-truncation with applications in model-checking for survival copula models Autor Lopez, Olivier

“…In this paper we provide a new nonparametric estimator of the joint distribution of two lifetimes under random right censoring and left truncation which can be…”
Získat plný text

Scalable Relational Analysis via Relational Bound Propagation Autor Stevens, Clay, Bagheri, Hamid

“…Bounded formal analysis techniques (such as bounded model checking) are incredibly powerful tools for today's software engineers…”
Získat plný text

Model checking for partially linear models with missing responses at random Autor Sun, Zhihua, Wang, Qihua, Dai, Pengjie

“…In this paper, we investigate the model checking problem for a partial linear model while some responses are missing at random…”
Získat plný text