共 50 条
- [1] Quantitative verification of trustworthy service flow by stochastic model checking Journal of Software Engineering, 2014, 8 (03): : 152 - 168
- [3] Web service composition verification based on symbol model checking and Petri nets DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 309 - 316
- [5] A Dynamic Verification Model based on Information Flow Constraint International Journal of Computational Intelligence Systems, 2013, 6 : 712 - 723
- [6] Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013,
- [7] Verification of Flow-Based Computing Systems Using Bounded Model Checking 2023 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2023,
- [8] Formalizing and Verification of an Antivirus Protection Service using Model Checking 3RD INTERNATIONAL CONFERENCE ON RECENT TRENDS IN COMPUTING 2015 (ICRTC-2015), 2015, 57 : 1324 - 1331
- [9] Verification of web service flows with model-checking techniques FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385