1109 search results - page 34 / 222 » Software verification for TinyOS |
TCAD
2010
14 years 8 months ago
2010
101
click to vote
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
101
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...