662 search results - page 58 / 133 » Model Checking Procedures for Infinite State Systems |
108
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
119
click to vote
MA
2010
Springer
14 years 9 months ago
2010
Springer
This work proposes to generalize the method of cokriging when data are spatially sampled curves. A spatial functional linear model is constructed including spatial dependencies be...
117
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
150
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
116
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...