Results 31 to 40 of about 1,197,029 (323)
Model-Checking Hierarchical Structures [PDF]
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2006 Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph definitions also allow to specify graphs of exponential size using polynomial size descriptions.
openaire +3 more sources
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
Model Checking CTL is Almost Always Inherently Sequential [PDF]
, 2011 The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the use of temporal modalities or the use of negations---restrictions already ...
A. L. Selman +20 more
core +5 more sources
Modular Checking with Model Checking
Electronic Notes in Theoretical Computer Science, 2009 AbstractAutomatic static checkers based on model checking, particularly SAT-based bounded model checkers, are used in industry, but they sometimes suffer from the scalability problem. Scalability can be achieved with the notions of Design by Contract(DbC) and modular checking. However, modular checking with DbC still have some problems.
Hashimoto, Yuusuke, Nakajima, Shin
openaire +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
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
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
Fluid Model Checking of Timed Properties [PDF]
, 2015 We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata.
Bortolussi, Luca, Lanciani, Roberta
core +2 more sources
BIM-Based Checking Method for the Mass Timber Industry
Buildings, 2023 Since the 1990s, mass timber constructions have become more and more popular. This type of construction has characteristics that are ideal for incorporating building information modeling (BIM).
Chloé Paskoff +2 more
doaj +1 more source