发布求助
文献互助 智能选刊 最新文献

Formal Methods in System Design最新文献

筛选
英文 中文
Compositional runtime enforcement revisited 重新审视组合运行时强制
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-12-01 DOI: 10.1007/s10703-022-00401-y
Srinivas Pinisetty, Ankit Pradhan, P. Roop, S. Tripakis
{"title":"Compositional runtime enforcement revisited","authors":"Srinivas Pinisetty, Ankit Pradhan, P. Roop, S. Tripakis","doi":"10.1007/s10703-022-00401-y","DOIUrl":"https://doi.org/10.1007/s10703-022-00401-y","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"59 1","pages":"205 - 252"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48128764","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The complexity gap in the static analysis of cache accesses grows if procedure calls are added 如果添加过程调用，则缓存访问静态分析中的复杂性差距会增大
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-12-01 DOI: 10.1007/s10703-022-00392-w
D. Monniaux
{"title":"The complexity gap in the static analysis of cache accesses grows if procedure calls are added","authors":"D. Monniaux","doi":"10.1007/s10703-022-00392-w","DOIUrl":"https://doi.org/10.1007/s10703-022-00392-w","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"59 1","pages":"1 - 20"},"PeriodicalIF":0.8,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49438633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis 扩展有界响应LTL:用于高效反应合成的新型安全片段
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-11-04 DOI: 10.1007/s10703-021-00383-3
A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta
{"title":"Extended bounded response LTL: a new safety fragment for efficient reactive synthesis","authors":"A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta","doi":"10.1007/s10703-021-00383-3","DOIUrl":"https://doi.org/10.1007/s10703-021-00383-3","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2021-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41708906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Incremental design-space model checking via reusable reachable state approximations 通过可重用可达状态近似进行增量设计空间模型检查
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-11-01 DOI: 10.1007/s10703-022-00389-5
Rohit Dureja, Kristin Yvonne Rozier
{"title":"Incremental design-space model checking via reusable reachable state approximations","authors":"Rohit Dureja, Kristin Yvonne Rozier","doi":"10.1007/s10703-022-00389-5","DOIUrl":"https://doi.org/10.1007/s10703-022-00389-5","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"58 1","pages":"375 - 398"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44313156","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parameterized verification of leader/follower systems via first-order temporal logic 基于一阶时间逻辑的主从系统参数化验证
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-11-01 DOI: 10.1007/s10703-023-00408-z
G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa
{"title":"Parameterized verification of leader/follower systems via first-order temporal logic","authors":"G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa","doi":"10.1007/s10703-023-00408-z","DOIUrl":"https://doi.org/10.1007/s10703-023-00408-z","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"58 1","pages":"440 - 468"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48428693","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parameterized verification of leader/follower systems via first-order temporal logic 通过一阶时序逻辑对领导者/跟随者系统进行参数化验证
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-11-01 DOI: 10.1007/s10703-022-00390-y
G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa
{"title":"Parameterized verification of leader/follower systems via first-order temporal logic","authors":"G. Kourtis, C. Dixon, M. Fisher, A. Lisitsa","doi":"10.1007/s10703-022-00390-y","DOIUrl":"https://doi.org/10.1007/s10703-022-00390-y","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"1 1","pages":"1-29"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45213330","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Special Issue on Syntax-Guided Synthesis Preface 语法引导合成特刊前言
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-11-01 DOI: 10.1007/s10703-021-00386-0
D. Fisman, Rishabh Singh, Armando Solar-Lezama
{"title":"Special Issue on Syntax-Guided Synthesis Preface","authors":"D. Fisman, Rishabh Singh, Armando Solar-Lezama","doi":"10.1007/s10703-021-00386-0","DOIUrl":"https://doi.org/10.1007/s10703-021-00386-0","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"58 1","pages":"469 - 470"},"PeriodicalIF":0.8,"publicationDate":"2021-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41988065","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Vacuity in synthesis 合成中的真空
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-09-01 DOI: 10.1007/s10703-021-00381-5
Roderick Bloem, Hana Chockler, M. Ebrahimi, O. Strichman
{"title":"Vacuity in synthesis","authors":"Roderick Bloem, Hana Chockler, M. Ebrahimi, O. Strichman","doi":"10.1007/s10703-021-00381-5","DOIUrl":"https://doi.org/10.1007/s10703-021-00381-5","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"57 1","pages":"473 - 495"},"PeriodicalIF":0.8,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45701670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Automatic proofs of memory deallocation for a Whiley-to-C Compiler while -to- c编译器内存释放的自动证明
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-08-16 DOI: 10.1007/s10703-021-00378-0
Min-Hsien Weng, R. Malik, M. Utting
{"title":"Automatic proofs of memory deallocation for a Whiley-to-C Compiler","authors":"Min-Hsien Weng, R. Malik, M. Utting","doi":"10.1007/s10703-021-00378-0","DOIUrl":"https://doi.org/10.1007/s10703-021-00378-0","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"57 1","pages":"429 - 472"},"PeriodicalIF":0.8,"publicationDate":"2021-08-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s10703-021-00378-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43749044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Preface of the special issue on the conference on formal methods in computer aided design 2018 2018计算机辅助设计形式化方法会议专刊前言
IF 0.8 4区 计算机科学
Formal Methods in System Design Pub Date : 2021-08-01 DOI: 10.1007/s10703-021-00382-4
N. Bjørner, A. Gurfinkel
{"title":"Preface of the special issue on the conference on formal methods in computer aided design 2018","authors":"N. Bjørner, A. Gurfinkel","doi":"10.1007/s10703-021-00382-4","DOIUrl":"https://doi.org/10.1007/s10703-021-00382-4","url":null,"abstract":"","PeriodicalId":12430,"journal":{"name":"Formal Methods in System Design","volume":"57 1","pages":"119 - 120"},"PeriodicalIF":0.8,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46364884","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信