Integrating specification and programs for system modeling and verification

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...

Full description

Saved in:
Bibliographic Details
Main Authors: SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2009
Subjects:
Programming Languages and Compilers
Software Engineering
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

Internet

https://ink.library.smu.edu.sg/sis_research/5045
https://ink.library.smu.edu.sg/context/sis_research/article/6048/viewcontent/Integrating.pdf

Similar Items