A Framework for An LTS Semantics for PROMELA

• المؤلفون الرئيسيون: Suprapto, Suprapto, Pulungan, Reza
• التنسيق: Conference or Workshop Item PeerReviewed
• اللغة: English
• منشور في: 2011
• الموضوعات: Makalah prosiding
• الوصول للمادة أونلاين: https://repository.ugm.ac.id/35114/1/SP-SEAMS-11.pdf; https://repository.ugm.ac.id/35114/
• المؤسسة: Universitas Gadjah Mada

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