News

Scientific Research Publishing5y
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker - Scientific Research Publishing
In order to fix the above, we introduce a 2-Phase strategy based on the UML state machine and sequence diagram. The state machine is converted into PROMELA code as a protocol model and its properties ...