From verified model to executable program: the PAT approach
CSP# is a formal modeling language that emphasizes the design of communication in concurrent systems. PAT framework provides a model checking environment for the simulation and verification of CSP# models. Although the desired properties can be formally verified at the design level, it is not always...
Saved in:
Main Authors: | Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei |
---|---|
Other Authors: | School of Computer Science and Engineering |
Format: | Article |
Language: | English |
Published: |
2017
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/83777 http://hdl.handle.net/10220/42797 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
Generating C# programs from CSP# models
by: Zhu, H., et al.
Published: (2014) -
Transformations between CSP# and C#
by: ZHU HUIQUAN
Published: (2014) -
Developing model checkers using PAT
by: LIU, Yang, et al.
Published: (2010) -
Parameter synthesis for hierarchical concurrent real-time systems
by: Andre, E., et al.
Published: (2014) -
Translating PDDL into CSP# - The PAT Approach
by: Li, Y., et al.
Published: (2013)