1472 search results - page 110 / 295 » On Model Checking Infinite-State Systems |
142
click to vote
APCCM
2009
15 years 5 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
159
click to vote
ICALP
2003
Springer
15 years 9 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...
111
click to vote
JUCS
2007
15 years 4 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
185
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
118
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...