386 search results - page 20 / 78 » Model Classifications and Automated Verification |
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
IADIS
2004
13 years 9 months ago
2004
In this study, we explore the construction of a faceted vocabulary that can be used as a mechanism for organizing Web-based resources. After analyzing the manual process of facete...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...