model checking value-passing processes

ISCAS OpenIR

	model checking value-passing processes
	Lin HM
	2001
会议名称	8th Asia-Pacific Software Engineering Conference
页码	3-10
会议日期	DEC 04-07,
会议地点	MACAO, PEOPLES R CHINA
收录类别	istp ; ieee
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS
ISBN	0-7695-1408-1
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	An algorithm for model checking value-passing processes is presented. Processes are modeled as symbolic transition graphs with assignments. To specify properties for such processes a graphical predicate mu-calculus is introduced. It allows arb
关键词	Model Checking Mu-calculus Value-passing Processes Verification Algorithms
主办者	Univ Macau, Off Dev Telecomm & Informat Technol, UN Univ, Int Inst Software Technol, Natl Nat Sci Fdn China, Macau Fdn, Public Adm & Civil Serv Bur Macau SAR, Co Telecommun Macau S A R L, Macau SAR Govt Tourist Off, Macau Product & Technol Tra
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13466
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Lin HM. model checking value-passing processes[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS,2001:3-10.