Charles Explorer logo
🇬🇧

Software Component Verification: On Translating Behavior Protocols to Promela

Publication

Abstract

Software Component Verification: On Translating Behavior Protocols to Promela