TRANSFORMASI PROMELA KE CHANNEL SYSTEM
PROMELA is a high level language to describe a model of a system. System that has been modelled in PROMELA can be verified formally using SPIN model checker. The modelled system has to be implemented using one of the programming language. Up until now, the implementation is done manually which has p...
| Main Authors: | , |
|---|---|
| Format: | Thesis |
| Published: |
[Yogyakarta] : Universitas Gadjah Mada
2012
|
| Subjects: |