Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
25
views
6
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,002
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
WSAT: A Tool for Formal Analysis of Web Services
other
Author(s):
Xiang Fu
,
Tevfik Bultan
,
Jianwen Su
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Ecosystem services
Most cited references
6
Record
: found
Abstract
: not found
Book
: not found
The SPIN Model Checker: Primer and Reference Manual
GJ Holzmann
,
G.J. Holzmann
,
G Holzmann
…
(2003)
0
comments
Cited
25
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Analysis of interacting BPEL web services
Jianwen Su
,
Xiang Fu
,
Tevfik Bultan
(2004)
0
comments
Cited
25
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Conversation specification: a new approach to design and analysis of e-service composition
Tevfik Bultan
,
Xiang Fu
,
Richard Hull
…
(2003)
0
comments
Cited
7
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 510-514
DOI:
10.1007/978-3-540-27813-9_48
SO-VID:
d769d2bd-553b-4d97-a07f-86a1e90f5dc3
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 70
Termination of Linear Programs
pp. 135
Indexed Predicate Discovery for Unbounded System Verification
pp. 175
DPLL(T): Fast Decision Procedures
pp. 189
Verifying ω-Regular Properties of Markov Chains
pp. 242
Stuck-Free Conformance
pp. 281
Verification via Structure Simulation
pp. 308
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
pp. 321
Widening Arithmetic Automata
pp. 372
Abstract Regular Model Checking
pp. 401
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
pp. 453
Understanding Counterexamples with explain
pp. 457
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
pp. 462
JNuke: Efficient Dynamic Analysis for Java
pp. 475
The UCLID Decision Procedure
pp. 479
MCK: Model Checking the Logic of Knowledge
pp. 496
SAL 2
pp. 510
WSAT: A Tool for Formal Analysis of Web Services
pp. 515
CVC Lite: A New Implementation of the Cooperating Validity Checker
Similar content
4,002
Intraspecific body size variation and allometry of genitalia in the orb-web spider— Argiope lobata
Authors:
Chathuranga Dharmarathne
,
Donald James McLean
,
Marie E. Herberstein
…
A survey on the intrinsic decoherence in the Milburn formalism
Authors:
S. V. Mousavi
,
S. Miret-Artés
Enhancement of Self-Monitoring in a Web-Based Weight Loss Program by Extra Individualized Feedback and Reminders: Randomized Trial
Authors:
Melinda Hutchesson
,
Chor Yin Tan
,
Philip Morgan
…
See all similar
Cited by
7
Synchronizability of conversations among Web services
Authors:
X Fu
,
T. Bultan
,
J. Su
Deciding choreography realizability
Authors:
Samik Basu
,
Tevfik Bultan
,
Meriem Ouederni
Towards a Formal Verification of OWL-S Process Models
Authors:
Anupriya Ankolekar
,
Massimo Paolucci
,
Katia Sycara
See all cited by