12981 search results - page 191 / 2597 » Model Checking (Abstract) |
142
click to vote
FMOODS
2007
15 years 4 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
119
click to vote
IJCAI
2001
15 years 4 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
115
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
107
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
150
click to vote
ATVA
2011
Springer
14 years 3 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...