334 search results - page 9 / 67 » A parametric analysis of the state-explosion problem in mode... |
132
Voted
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
209
Voted
AUTOMATICA
2011
14 years 7 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
118
click to vote
ENTCS
2006
15 years 23 days ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
88
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the decidability and complexity of various model checking problems over one-counter automata. More specifically, we consider succinct one-counter automata, in which...
130
click to vote
ENTCS
2007
15 years 22 days ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...