Abstract is missing.
- An MSVL-Based Modeling Framework for Back Propagation Neural NetworksLiang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu. 3-22 [doi]
- A Case Study on Combining Agile Requirements Development and SOFLFumiko Nagoya. 23-33 [doi]
- Formal Modeling and Verification of Microservice-Based Cyber-Physical SystemJingzi Wang, Hongyan Mao, Ningkang Jiang. 34-53 [doi]
- +VRJiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou. 54-65 [doi]
- An Unified Model Checking Approach of APTLHaiyang Wang. 69-78 [doi]
- Model Checking Multi-interruption Concurrent Programs with TMSVLJin Cui, Lianxiang Zhu. 79-87 [doi]
- An MSVL Based Model Checking Method for Multi-threaded C ProgramsXinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao. 88-101 [doi]
- A Formal Approach to Secure Design of RESTful Web APIs Using SOFLBusalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu. 105-125 [doi]
- Pointer Program Synthesis as Non-deterministic PlanningXu Lu, Bin Yu. 126-141 [doi]
- Runtime Verification of Ethereum Smart Contracts Based on MSVLBin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang. 142-153 [doi]
- Automatic Generation of Specification from Natural Language Based on Temporal LogicXiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu. 154-171 [doi]
- Software Testing with Statistical Partial Oracles - - Application to Neural Networks Software -Shin Nakajima. 175-192 [doi]
- Formalizing Spark Applications with MSVLMeng Wang, Shushan Li. 193-204 [doi]