457 search results - page 1 / 92 » Distributed verification with LoLA |
86
Voted
EMISA
2002
Springer
15 years 2 months ago
2002
Springer
CORR
2010
Springer
15 years 1 days ago
2010
Springer
111
click to vote
FLAIRS
2000
15 years 4 months ago
2000
Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...
128
click to vote
FUIN
2010
14 years 12 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
100
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE