Interface-Based Protocol Specification of Open Systems using PSL
No abstract available.
DOI 10.1007/3-540-49538-x_18
Related papers
- Protocol Specifications and Component Adaptors TOPLAS 1997
- Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors OOPSLA 1994
- Syntactic Optimizations for PSL Verification TACAS 2007
- SVA and PSL Local Variables - A Practical Approach CAV 2013
- The Use of Multimethods and Method Combination in a CLOS Based Window System Interface OOPSLA 1989
- A Typing Discipline for Hardware Interfaces ECOOP 2019
- ECCS and LIPS: Two Languages for OSI Systems Specification and Verification TOPLAS 1989
- Deep Specifications and Certified Abstraction Layers POPL 2015