{"title":"第八届注册会计师检查程序（CPAchecker 2023）国际研讨会摘要","authors":"Marie-Christine Jakobs, Nian-Ze Lee","doi":"10.1145/3650142.3650150","DOIUrl":null,"url":null,"abstract":"The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"578 2","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)\",\"authors\":\"Marie-Christine Jakobs, Nian-Ze Lee\",\"doi\":\"10.1145/3650142.3650150\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.\",\"PeriodicalId\":432885,\"journal\":{\"name\":\"ACM SIGSOFT Software Engineering Notes\",\"volume\":\"578 2\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM SIGSOFT Software Engineering Notes\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3650142.3650150\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM SIGSOFT Software Engineering Notes","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3650142.3650150","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
CPAchecker 国际研讨会是一年一度的盛会。其目标是讨论最近和正在进行的 C 程序验证方面的研究（想法）和工具开发，从而特别关注开源软件分析框架 CPAchecker。此外，研讨会还提供了一个平台，以推动 CPAchecker 研究社区的发展并促进合作。
Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)
The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
