Software Component Verification: On Translating Behavior Protocols to Promela

Abstract

Software Component Verification: On Translating Behavior Protocols to Promela

Keywords

• Software
• Component
• Verification
• Translating
• Behavior
• Protocols
• Promela