Abstract is missing.
- Genericity in PAR PlatformJinyun Xue. 3-14 [doi]
- Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVLJin Cui, Zhenhua Duan, Cong Tian, Nan Zhang. 15-28 [doi]
- The Interchange Format of Tabular Expressions Using XMLMao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao. 29-43 [doi]
- A GUI-Aided Approach to Formal Specification ConstructionShaoying Liu. 44-56 [doi]
- Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement LearningYuji Sato, Taku Sugihara. 59-71 [doi]
- Fault Localization of Timed Automata Using Maximum SatisfiabilityShin Nakajima, Si-Mohamed Lamraoui. 72-85 [doi]
- Automated Program Debugging for Multiple Bugs Based on Semantic AnalysisAishan Liu, Li Li, Jie Luo. 86-100 [doi]
- Model Checking Process Scheduling over Multi-core Computer System with MSVLXinfeng Shu, Zhenhua Duan. 103-117 [doi]
- A Method Based on MSVL for Verification of the Social Network Privacy PolicyXiaobing Wang, Tao Sun. 118-131 [doi]
- A Case Study: SOFL + Model Checking for OSEK/VDX ApplicationZhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim. 132-146 [doi]
- On Reachability Analysis of Updatable Timed Automata with One Updatable ClockYunqing Wen, Guoqiang Li 0001, Shoji Yuen. 147-161 [doi]
- Research on Formal Development of Non-recursive Algorithms of Graph SearchQimin Hu, Jinyun Xue, Zhen You. 165-178 [doi]
- LtlNfBa: Making LTL Translation More PracticalCong Tian, Jun Song, Zhenhua Duan, Zhao Duan. 179-194 [doi]
- PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal LogicXiaoming Zhang, Zhenhua Duan, Cong Tian. 195-205 [doi]
- Automatic Transformation from SOFL Module Specifications to Program StructuresXiongwen Luo, Shaoying Liu. 206-218 [doi]