Transformation of PROMELA to Channel Systems
This paper reports on an implementation of transformation of PROMELA models into Channel Systems, which will be further transformed into Labeled Transition Systems (LTSs). The objective of this transformation is to obtain a formal semantics for further model checking purposes. A Channel System is a...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item PeerReviewed |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/35109/1/HP-CSIT-13.pdf https://repository.ugm.ac.id/35109/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universitas Gadjah Mada |
| Language: | English |