Results 41 to 50 of about 230,174 (255)
State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets
International Journal of Web ResearchThe verification of complex systems has traditionally relied on semi-automatic theorem-proving methods. However, model checking represents a paradigm shift by enabling automated, exhaustive verification of behavioral properties through systematic state ...
Ahmad Taghinezhad-Nia, Saeid Pashazadeh
doaj +1 more source
Automated Rule Checking for MEP Systems Based on BIM and KBMS
Buildings, 2022 Due to the growing complexity of mechanical, electrical, and plumbing (MEP) designs and the rules that govern them, performing rule checks manually has become expensive.
Xuanfeng Xie +5 more
doaj +1 more source
Invariant $P$-values for model checking [PDF]
, 2010 $P$-values have been the focus of considerable criticism based on various considerations. Still, the $P$-value represents one of the most commonly used statistical tools.
Evans, Michael, Jang, Gun Ho
core +1 more source
Model Checking in Bits and Pieces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components.
Kedar S. Namjoshi
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.Abstract Background Sickle cell disease (SCD) is an autosomal recessive hemoglobinopathy affecting millions of individuals worldwide. The clinical expression and psychosocial burden of SCD vary widely across geographical, cultural, and healthcare system contexts, underscoring the need for setting‐specific approaches to assessment.
Desiré Fantasia +7 more
wiley +1 more source
Towards Light-Weight Probabilistic Model Checking
Journal of Applied Mathematics, 2014 Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur
doaj +1 more source
Advancing verification of process mining models with quantitative model checking in stochastic environment [PDF]
ITM Web of ConferencesThe study of business process analysis and optimization has attracted significant scholarly interest in the recent past, due to its integral role in boosting organizational performance.
Mangi Fawad Ali, Su Guoxin, Zhang Minjie
doaj +1 more source
Model Checking One-clock Priced Timed Automata [PDF]
Logical Methods in Computer Science, 2008 We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model-checking problems for that model based on extensions of classical ...
Patricia Bouyer +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Adolescent siblings of children with cancer are at elevated risk for psychosocial problems. Unfortunately, various barriers such as limited family time and resources, conflicting schedules, and psychosocial staffing constraints at cancer centers hinder sibling access to support.
Christina M. Amaro +10 more
wiley +1 more source
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL [PDF]
, 2019 One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for ...
A Campetelli +20 more
core +1 more source