1472 search results - page 192 / 295 » On Model Checking Infinite-State Systems |
94
Voted
CAV
2008
Springer
15 years 3 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
126
Voted
STTT
2010
14 years 8 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
109
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
120
Voted
DEDS
2007
15 years 1 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
112
click to vote
ENTCS
2002
15 years 1 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...