Formal Protocols: Session Types At The Core Of Network Protocol Design
Formal Protocols: Session Types At The Core Of Network Protocol Design
形式协议：网络协议设计核心的会话类型
批准号：
2749015
负责人：
金额：
$0.0万
依托单位：
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2022
资助国家：
英国
项目状态：
未结题
起止时间：
2022 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The project will explore the usability of formal methods for network protocol specification, building on the theory of session types, and experiences with developing network protocol standards in the Internet Engineering Task Force. The goal is to develop methods of specifying standard protocol specifications that are formally verifiable and correct, but also usable by those in the Internet standards community that lack experience in formal methods.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
