A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research - United States
doi 10.4018/ijwsr.2013100103
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IGI Global

Related search

Model Centric Approach of Web Services Composition

English

A Distributed Multi-Agent Planning Approach for Automated Web Services Composition

Web Intelligence and Agent Systems: An International Journal
2012English

Checking Compatibility of Web Services Behaviorally

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies
2012English

An AI Planning Based Approach for Automated Web Services Composition

2007English

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Verification, Model Checking and Abstract Interpretation

1997English

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE Transactions on Software Engineering
Software
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy