Abstract is missing.
- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic GraphZhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng. 3-11 [doi]
- An Approach of Transforming Non-Markovian Reward to Markovian RewardRuixuan Miao, Xu Lu, Jin Cui. 12-29 [doi]
- A JPSL Based Model Checking Approach for Java ProgramsXinfeng Shu, Yanlin Li, Weiran Gao. 30-49 [doi]
- Implementation of Matlab matfun Toolkit Based on MSVLXueqing Feng, Nan Zhang 0001, Zhenhua Duan. 53-58 [doi]
- Extending Visibly Pushdown Automata over Multi-matching Nested RelationsJin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang. 59-69 [doi]
- Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time TasksJin Cui, Xu Lu, Guangliang Yu, Bin Yu. 70-76 [doi]
- Formalization of Natural Language into PPTL Specification via Neural Machine TranslationChunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao 0021, Wenjie Mao. 79-92 [doi]
- Testing Program Segments to Detect Runtime Exceptions in JavaLei Rao, Shaoying Liu, ai Liu. 93-105 [doi]
- Inferring Exact Domains to Efficiently Generate Valid Test Cases via TestingChu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu. 106-116 [doi]
- Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial AttackYang Li, Shaoying Liu. 119-125 [doi]
- Verifying and Improving Neural Networks Using Testing-Based Formal VerificationHaiyi Liu, Shaoying Liu, ai Liu, Dingbang Fang, Guangquan Xu. 126-141 [doi]
- Alternating Projection Temporal Epistemic LogicHaiyang Wang, Jin Liu, Jing Liu. 142-149 [doi]