457 search results - page 1 / 92 » Distributed verification with LoLA |
83
Voted
EMISA
2002
Springer
15 years 1 months ago
2002
Springer
71
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
105
click to vote
FLAIRS
2000
15 years 3 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...
124
Voted
FUIN
2010
14 years 11 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...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE