课题基金 / 基金详情

Verifiably Correct Transactional Memory

Verifiably Correct Transactional Memory
可验证正确的事务内存
批准号：
EP/R032556/1
负责人：
Brijesh Dongol
金额：
$50.67万
依托单位：
University of Surrey
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2018
资助国家：
英国
项目状态：
已结题
起止时间：
2018 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FR032556%2F1
关键词：
VerifiablyCorrectTransactionalMemory

项目摘要

项目成果

Brijesh Dongol的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Towards deductive verification of C11 programs with Event-B and ProB
使用 Event-B 和 ProB 进行 C11 程序的演绎验证
DOI： 10.1145/3340672.3341117
发表时间： 2019
期刊：
影响因子： --
作者： [Dalvandi M]
通讯作者： Dalvandi M
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
编程语言和系统 - 第 31 届欧洲编程研讨会，ESOP 2022，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2022，德国慕尼黑，2022 年 4 月 2-7 日，会议记录
DOI： 10.1007/978-3-030-99336-8_9
发表时间： 2022
期刊：
影响因子： --
作者： [Bila E]
通讯作者： Bila E
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
DOI： 10.1007/978-3-030-50086-3_3
发表时间： 2020-05-13
期刊： Formal Techniques for Distributed Objects, Components, and Systems
影响因子： --
作者： [Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H]
通讯作者： Wehrheim H
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
正式方法。
DOI： 10.1007/978-3-030-54994-7_16
发表时间： 2020
期刊：
影响因子： --
作者： [Alves G]
通讯作者： Alves G
共 7 条
    Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
    • 批准号：
      EP/X015149/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $53.13万
    • 财政年份：
      2023
    • 负责人：
      Brijesh Dongol
    • 依托单位：
      University of Surrey
    SACRED-MA: Safe And seCure REmote Direct Memory Access
    • 批准号：
      EP/X037142/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $59.44万
    • 财政年份：
      2023
    • 负责人：
      Brijesh Dongol
    • 依托单位：
      University of Surrey
    Verifiably Correct Swarm Attestation
    • 批准号：
      EP/V038915/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $65.51万
    • 财政年份：
      2021
    • 负责人：
      Brijesh Dongol
    • 依托单位：
      University of Surrey
    Verifiably correct concurrency abstractions
    • 批准号：
      EP/R019045/2
    • 项目类别：
      Research Grant
    • 资助金额：
      $1.15万
    • 财政年份：
      2018
    • 负责人：
      Brijesh Dongol
    • 依托单位：
      University of Surrey
    海外基金