Institutional Repository
| model checking value-passing processes | |
| Lin HM | |
| 2001 | |
| Conference Name | 8th Asia-Pacific Software Engineering Conference |
| Pages | 3-10 |
| Conference Date | DEC 04-07, |
| Conference Place | MACAO, PEOPLES R CHINA |
| Indexed Type | istp ; ieee |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS |
| ISBN | 0-7695-1408-1 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | 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 |
| Keyword | Model Checking Mu-calculus Value-passing Processes Verification Algorithms |
| Sponsorship | 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 |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13466 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 00991453.pdf（766KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment