Pub Date : 2021-12-01DOI: 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}
Pub Date : 2021-12-01DOI: 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}
Pub Date : 2021-11-04DOI: 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}
Pub Date : 2021-11-01DOI: 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}
Pub Date : 2021-11-01DOI: 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}
Pub Date : 2021-11-01DOI: 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}
Pub Date : 2021-09-01DOI: 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}
Pub Date : 2021-08-16DOI: 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}
Pub Date : 2021-08-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：