A Framework for An LTS Semantics for PROMELA
A high-level specification language PROMELA can be used not only to model interactions that occur in distributed or reactive systems, but also to express requirements of logical correctness about those interactions. Several approaches to a formal semantics for PROMELA have been presented, ranging fr...
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | Conference or Workshop Item PeerReviewed |
| 語言: | English |
| 出版: |
2011
|
| 主題: | |
| 在線閱讀: | https://repository.ugm.ac.id/35114/1/SP-SEAMS-11.pdf https://repository.ugm.ac.id/35114/ |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Universitas Gadjah Mada |
| 語言: | English |
成為第一個發表評論!