2468 search results - page 47 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
134
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we address the challenges associated with the veriļ¬cation of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
156
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
284
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
124
click to vote
APN
2003
Springer
15 years 8 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problemāthe size of the state spacesā...
150
click to vote
FAC
2008
15 years 3 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...