Formal Modelling and Verification of an Asynchronous Extension of SOAP.
Maurice H. ter BeekStefania GnesiFranco MazzantiCorrado MoisoPublished in: ECOWS (2006)
Keyphrases
- formal methods
- web services
- asynchronous circuits
- model checking
- formal analysis
- back end
- artificial intelligence
- knowledge representation
- formal model
- description language
- face verification
- formal specification
- asynchronous cellular automata
- functional verification
- formal representation
- formal verification
- online discussion
- data sets
- website
- learning algorithm
- neural network