662 search results - page 25 / 133 » Model Checking Procedures for Infinite State Systems |
102
Voted
CMSB
2009
Springer
15 years 4 months ago
2009
Springer
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
IAT
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
106
click to vote
COMPOS
1997
Springer
15 years 1 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
ICNP
2002
IEEE
15 years 2 months ago
2002
IEEE
Current Quality of Service models such as those embodied in the Differentiated Services proposals, rely on data path aggregation to achieve scalability. Data path aggregation bund...
CSL
2004
Springer
15 years 2 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...