Abstract is missing.
- Graphically Perceiving Characteristics of the MCS Lock and Model Checking ThemTam Thi Thanh Nguyen, Kazuhiro Ogata 0001. 3-23 [doi]
- An Investigation of Integrating a GUI-Aided Approach and a Specification-Based TestingFumiko Nagoya, Shaoying Liu. 24-35 [doi]
- On the Cooperative Graph Searching ProblemChin Fu Lin, Ondrej Navrátil, Sheng-Lung Peng. 39-47 [doi]
- Boosting Uppaal for OSEK/VDX Applications with a Sequentialization ApproachHaitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu. 51-68 [doi]
- The Complexity of Linear-Time Temporal Logic Model RepairXiuting Tao, Guoqiang Li 0001. 69-87 [doi]
- Extending UML for Model CheckingXinfeng Shu, Mengnan Wang, Xiaobing Wang. 88-107 [doi]
- Foundation of a Framework to Support Compliance Checking in Construction IndustryWuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang. 111-122 [doi]
- An Improved Reliability Testing Model Based on SOFLZhouxian Jiang, Honghui Li, Xuetao Tian. 123-132 [doi]
- A Framework Based on MSVL for Verifying Probabilistic Properties in Social NetworksXiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu. 133-147 [doi]
- Implementing MapReduce with MSVLNan Zhang 0001, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui. 148-167 [doi]
- A Software Tool to Support the "Vibration" MethodPan Zhao, Shaoying Liu. 171-186 [doi]
- A Software Tool to Support Scenario-Based Formal Specification for Error PreventionSiyuan Li, Shaoying Liu. 187-199 [doi]
- A Proof Score Approach to Formal Verification of an Imperative Programming Language CompilerDorian Daudier, Trinh Ngoc Quoc Bao, Kazuhiro Ogata 0001. 200-217 [doi]