1376 search results - page 72 / 276 » Model-Driven Software Verification |
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
100
Voted
TCAD
2010
14 years 9 months ago
2010
112
Voted
FSTTCS
2000
Springer
15 years 6 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...
94
Voted
CADE
2008
Springer
16 years 3 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: ...
114
Voted
WWW
2005
ACM
16 years 3 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...