Please use this identifier to cite or link to this item: https://doi.org/10.1109/TASE.2009.32
DC FieldValue
dc.titleIntegrating specification and programs for system modeling and verification
dc.contributor.authorSun, J.
dc.contributor.authorLiu, Y.
dc.contributor.authorJin, S.D.
dc.contributor.authorChen, C.
dc.date.accessioned2013-07-04T07:55:00Z
dc.date.available2013-07-04T07:55:00Z
dc.date.issued2009
dc.identifier.citationSun, J., Liu, Y., Jin, S.D., Chen, C. (2009). Integrating specification and programs for system modeling and verification. Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 : 127-135. ScholarBank@NUS Repository. https://doi.org/10.1109/TASE.2009.32
dc.identifier.isbn9780769537573
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40026
dc.description.abstractHigh level specification languages like CSP use mathematical objects as abstractions to represent systems and processes. System behaviors are described as process expressions combined with compositional operators, which are associated with elegant algebraic laws for system analysis. Nonetheless, modeling systems with non-trivial data and functional aspects using CSP remains difficult. In this work, we propose a modeling language named CSP# (short for communicating sequential programs) which integrates high-level modeling operators with low-level procedural codes, for the purpose of efficient mechanical system verification. We demonstrate that data operations can be modeled as terminating sequential programs, which can be composed using high-level compositional operators. CSP# is supported by the PAT model checker and has been applied to a number of systems. © 2009 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TASE.2009.32
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TASE.2009.32
dc.description.sourcetitleProceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
dc.description.page127-135
dc.identifier.isiut000272549300017
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

67
checked on Jun 2, 2020

WEB OF SCIENCETM
Citations

47
checked on Jun 2, 2020

Page view(s)

109
checked on Jun 1, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.