Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

安全可靠的高级架构并发编程 (COVERT)

• 批准号: EP/X015149/1
• 负责人: Brijesh Dongol
• 金额: $ 53.13万
• 依托单位: University of Surrey
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX015149%2F1
• 关键词: Safe; secure; COncurrent; programming; adVancEd

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

目前GtR中并没有提供所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为它包含敏感信息，如个人详细信息。

项目成果

Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

验证、模型检查和摘要解释 - 第 25 届国际会议，VMCAI 2024，英国伦敦，2024 年 1 月 15-16 日，会议记录，第二部分

• DOI: 10.1007/978-3-031-50521-8_2
• 发表时间: 2024
• 作者: Bodenmüller S

Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

软件工程和形式化方法 - 第 21 届国际会议，SEFM 2023，荷兰埃因霍温，2023 年 11 月 6-10 日，会议记录

• DOI: 10.1007/978-3-031-47115-5_17
• 发表时间: 2023
• 作者: Semenyuk M