1129 search results - page 62 / 226 » Formal Verification of Websites |
102
click to vote
FMICS
2007
Springer
15 years 5 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
169
click to vote
CSAC
2006
15 years 3 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
109
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
110
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
110
click to vote
MEMOCODE
2010
IEEE
14 years 12 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...