Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Chinese Journal of Computers》 1990-02
Add to Favorite Get Latest Update

AUTOMATIC VERIFICATION OF CONCURRENT SYSTEMS USING TEMPORAL LOGIC

Feng Yulin, Zhao Xudong and Guo Duanyang(University of Science and Technology of China)  
Temporal logic has been extensively investigated for specifying and proving properties of concurrent systems. Instead of the traditional verification technique using axioms and inference rules, the model checker for asynchronous concurrent systems (AMC) is designed to mechanically determine if a. system meets its temporal specifications.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 2 Hits
1 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
2 Feng Yulin and Gui Ziqiang (University of Science and Technology of China ) Ding Maoshun (Software Institute, Academia Sinica );THE FORMAL TECHNIQUES FOR SYSTEM MODELING DEVELOPMENT[J];Journal of Software;1991-01
【Co-citations】
Chinese Journal Full-text Database 1 Hits
1 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
【Co-references】
Chinese Journal Full-text Database 7 Hits
1 Feng Yulin Ding Maoshun University of Science and Technology of China, Hefei Software Institute, Academia Sinica;Modelling System Development[J];Journal of Computer Research and Development;1989-01
2 Wang You1 Zhang Guangquan1,21(College Math & Computer Science,Chongqing Normal University,Chongqing 400047)2(Computer Science and Technology Department,Soochow University,Suzhou 215006);The Application of B-method in the House Intelligence Control System Development[J];Computer Engineering and Applications;2006-24
3 GUAN He-Qing GUO Liang (Lab of Computer Science, Institute of Software. Chinese Academy of Sciences, Beijing 100080);Description & Verification of a Program's Property[J];Computer Science;2003-03
4 RONG Mei ZHANG Guang-Quan (Tourism College, Jinan University, Shenzhen 518053) (College of Computer Science and Technology,Suzhou University,Suzhou 215006) (Key Lab for Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing 100080);New Approaches for Model Checking[J];Computer Science;2003-05
5 WANG You~1 RONG Mei~3 ZHANG Guang-Quan~2(Coll.of Math & Computer Sci.,Chongqing Normal Univ, Chongqing 400047)~1 (Computer Science and Technology Department,Soochow Univ, Suzhou 215006)~2 (Shenzhen Tourism College, Jinan University, Shenzhen 518053)~3;An Application System Model Based on Layer-Message Architecture[J];Computer Science;2006-11
6 LONG Xiangming, SUN Qibo, SU Sen (State Key Laboratory of Switching Technology & Telecommunication Networks, Beijing University of Posts and Telecommunications, Beijing 100876);Novel Method of Using UML’s Extension Mechanism to Specify Software Non-functional Requirements[J];Computer Engineering;2005-14
7 WANG You(Collage of Mathematics and Computer Science, Chongqing Normal University, Chongqing 400047);Model of the Scenery Management System Based on UML[J];Science Technology and Engineering;2006-05
【Secondary References】
Chinese Journal Full-text Database 4 Hits
1 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
2 Cao Chun (Office of Education Northwest China Institute for Nationalities, Lanzhou 730030);Algebraic semantics and inheritance of an abstract class with trace[J];JOURNAL OF LANZHOU RAILWAY INSTITUTE;1999-02
3 Ding Maoshun and Yi Zhangxiong (Institute of Software, Academia Sinica, Beijing 100080) Feng Yulin (University of Science and Technology of China, Hefei 230026);MODELLING DEVELOPMENT METHOD AND ITS PROTOTYPING TOOL SYSTEM MTOOL[J];Journal of Software;1993-02
4 GUI ZiQiang(Shengzhen Investment Administrative Co., Shenzhen, 518027);Development and Application of A Decision Information System for Financial Analysis[J];MICROCOMPUTER DEVELOPMENT;1995-06
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved