Page 4 - 《软件学报》2021年第6期

Journal of Software Vol.32, No.6 Jun. 2021

Contents

SPECIAL TOPIC ON FORMAL METHODS AND APPLICATIONS

1579 Preface
TIAN Cong, DENG Yu-Xin, JIANG Yu
1581 C2P: Formal Abstraction Method and Tool for C Protocol Code Based on Pi Caculus
ZHANG Xie-Li, ZHU Yue-Fei, GU Chun-Xiang, CHEN Xi
1597 Automatic Generation of Large-Granularity Pull Request Description
KUANG Li, SHI Ru-Yi, ZHAO Lei-Hao, ZHANG Huan, GAO Hong-Hao
1612 Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection
HAO Zong-Yin, LU Fa-Ming
1631 Verification of Operating System Exception Management for SPARC Processor Architecture
MA Zhi, QIAO Lei, YANG Meng-Fei, LI Shao-Feng
1647 Code Generation Method of Data Flow Model Based on Branch Marking
SU Zhuo, WANG Dong-Yan, YANG Yi-Xiao, ZHANG Ming-Rui, JIANG Yu, SUN Jia-Guang
1663 On Schedulability Analysis of AADL Architecture with Storage Resource Constraint
LU Yin, QIN Shu-Dong, XI Le-Qi, DONG Yun-Wei
1682 Deadlock Detection of Multithreaded Programs Based on Lock-augmented Segmentation Graph
LU Fa-Ming, ZHENG Jia-Jing, BAO Yun-Xia, ZENG Qing-Tian, DUAN Hua, WANG Xiao-Yu
1701 Taint Analysis Tool of Android Applications Based on Tainted Value Graph
ZHANG Jie, TIAN Cong, DUAN Zhen-Hua
1717 Executable Semantics of Ethereum Intermediate Language
HAN Ning, LI Xi-Meng, ZHANG Qian-Ying, WANG Guo-Hui, SHI Zhi-Ping, GUAN Yong
1733 Smooth Intervention Model of Individual Interaction Behavior
LIU Xiao, ZHANG Zhao-Hui, WEI Zi-Ming, WANG Peng-Wei
1748 Raft with Out-of-order Executions
GU Xiao-Song, WEI Heng-Feng, QIAO Lei, HUANG Yu
1779 Hybrid AADL Modeling and Model Transformation for CPS Time and Space Properties Verification
CHEN Xiao-Ying, ZHU Yi, ZHAO Yu, WANG Jin-Yong
1799 Formal Method of Functional Verification for Chip Development
YAO Guang-Yu, ZHANG Nan, TIAN Cong, DUAN Zhen-Hua, LIU Ling-Min, SUN Feng-Jin
1818 Modeling and Analysis of ROS2 Data Distribution Service for Data Flow
LU Qian, LI Xiao-Juan, GUAN Yong, WANG Rui, SHI Zhi-Ping
1830 Formal Verification of Ptolemy Discrete Event Model
LU Zhi-Hao, WANG Rui, KONG Hui, GUAN Yong, SHI Zhi-Ping
1849 Formal Verification of Smart Contract Based on MSVL
WANG Xiao-Bing, YANG Xiao-Yu, SHU Xin-Feng, ZHAO Liang
1867 Differential Fuzz Testing of Robot Operating System
WANG Ying, WANG Bing-Qing, GUAN Yong, LI Xiao-Juan, WANG Rui
1882 Formalization of Operations of Block Matrix Based on Coq
MA Ying-Ying, MA Zhen-Wei, CHEN Gang
PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
1910 Rational Delegation Computing Protocol Based on Rational Trust Model
FENG Neng-Xian, TIAN You-Liang

©Copyright 2021, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior
written permission of the Institute of Software, the Chinese Academy of Sciences.