Results 21 to 30 of about 171,654 (251)
FO Model Checking of Interval Graphs [PDF]
Logical Methods in Computer Science, 2015 We study the computational complexity of the FO model checking problem on interval graphs, i.e., intersection graphs of intervals on the real line. The main positive result is that FO model checking and successor-invariant FO model checking can be solved
Robert Ganian +5 more
doaj +1 more source
A Layered and Parallelized Method of Eventual Model Checking
Information, 2023 Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties.
Yati Phyo +3 more
doaj +1 more source
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
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
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
, 2012 In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the behaviour of a single agent in a (large) population of agents, exploiting a limit result known also as fast simulation.
BORTOLUSSI, LUCA, J. Hillston
openaire +5 more sources
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
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