457 search results - page 1 / 92 » Distributed verification with LoLA |
77
Voted
EMISA
2002
Springer
15 years 28 days ago
2002
Springer
66
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
99
Voted
FLAIRS
2000
15 years 2 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...
115
Voted
FUIN
2010
14 years 10 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...
85
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE