112 search results - page 14 / 23 » Formalization of fFSM Model and Its Verification |
120
click to vote
WWW
2005
ACM
16 years 4 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...
151
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
125
Voted
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
148
click to vote
IPPS
1999
IEEE
15 years 7 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...
128
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...