140 search results - page 7 / 28 » Verifying timing properties of concurrent algorithms |
150
Voted
LICS
1993
IEEE
15 years 5 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
125
click to vote
ICCD
1995
IEEE
15 years 5 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
TPDS
1998
15 years 1 months ago
1998
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
104
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—This paper proposes a novel discrete time secondorder distributed consensus time synchronization (SO-DCTS) algorithm for wireless sensor networks. The consensus properti...
133
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...