On Using Protean To Verify ISO FTAM Protocol
No abstract available.
Related papers
- Structured Operational Semantics as a Specification Language POPL 1995
- A Formally-Verified C Static Analyzer POPL 2015
- Unified Syntax with Iso-types APLAS 2016
- Full Iso-Recursive Types OOPSLA 2024
- QuickSub: Efficient Iso-Recursive Subtyping POPL 2025
- Revisiting iso-recursive subtyping OOPSLA 2020
- On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types TOPLAS 2017
- Revisiting Iso-Recursive Subtyping TOPLAS 2022