IEEE - Institute of Electrical and Electronics Engineers, Inc. - Efficient Verification of Service-Based Applications for Flexible Modeling

2018 IEEE International Conference on Services Computing (SCC)

Author(s): Min Yuan ; Zhiqiu Huang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2018
Conference Location: San Francisco, CA, USA, USA
Conference Date: 2 July 2018
Page(s): 97 - 104
ISBN (Electronic): 978-1-5386-7250-1
ISSN (Electronic): 2474-2473
DOI: 10.1109/SCC.2018.00020
Regular:

Formal verification has been shown to be a useful technique for performing assurance of electronic business transactions. However the verification efficiency is still a serious bottleneck due to... View More

Advertisement