Integrating specification and programs for system modeling and verification
High 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, mod...
Saved in:
Main Authors: | SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2009
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5045 https://ink.library.smu.edu.sg/context/sis_research/article/6048/viewcontent/Integrating.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
A verification system for interval-based specification languages
by: CHEN, Chunqing, et al.
Published: (2010) -
CELL: A compositional verification framework
by: JI, Kun, et al.
Published: (2013) -
Towards expressive specification and efficient model checking
by: DONG, Jin Song, et al.
Published: (2009) -
Scaling BDD-based timed verification with simulation reduction
by: NGUYEN, Truong Khanh, et al.
Published: (2016) -
Verification of population ring protocols in PAT
by: LIU, Yang, et al.
Published: (2009)