The Logic of Software. A Tasting Menu of Formal Methods最新文献

筛选
英文 中文
Improving Automatic Complexity Analysis of Integer Programs 改进整数程序自动复杂度分析
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 2022-02-03 DOI: 10.1007/978-3-031-08166-8_10
J. Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
{"title":"Improving Automatic Complexity Analysis of Integer Programs","authors":"J. Giesl, Nils Lommen, Marcel Hark, Fabian Meyer","doi":"10.1007/978-3-031-08166-8_10","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_10","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127205306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY 重编码键:基于键的构造校正软件开发
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_5
Tabea Bordis, L. Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, B. Watson
{"title":"Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY","authors":"Tabea Bordis, L. Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, B. Watson","doi":"10.1007/978-3-031-08166-8_5","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_5","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115819058","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Lifelong Learning of Reactive Systems in Practice 在实践中终身学习反应系统
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_3
Alexander Bainczyk, B. Steffen, Falk Howar
{"title":"Lifelong Learning of Reactive Systems in Practice","authors":"Alexander Bainczyk, B. Steffen, Falk Howar","doi":"10.1007/978-3-031-08166-8_3","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_3","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133350235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the Notion of Naturalness in Formal Modeling 论形式化建模中的自然性概念
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_13
Eduard Kamburjan, S. Fiorini
{"title":"On the Notion of Naturalness in Formal Modeling","authors":"Eduard Kamburjan, S. Fiorini","doi":"10.1007/978-3-031-08166-8_13","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_13","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128425036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Implications of Deductive Verification on Research Quality - Field Study 演绎验证对研究质量的影响-实地研究
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_17
Wojciech Mostowski
{"title":"Implications of Deductive Verification on Research Quality - Field Study","authors":"Wojciech Mostowski","doi":"10.1007/978-3-031-08166-8_17","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_17","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129998449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards a Modular and Variability-Aware Aerodynamic Simulator 模块化和可变性感知气动模拟器
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_8
Ferruccio Damiani, Michael Lienhardt, B. Maugars, B. Michel
{"title":"Towards a Modular and Variability-Aware Aerodynamic Simulator","authors":"Ferruccio Damiani, Michael Lienhardt, B. Maugars, B. Michel","doi":"10.1007/978-3-031-08166-8_8","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_8","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121643536","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
When COSTA Met KeY: Verified Cost Bounds 当COSTA遇到关键:验证成本界限
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_2
E. Albert, S. Genaim, A. Merayo, G. Román-Díez
{"title":"When COSTA Met KeY: Verified Cost Bounds","authors":"E. Albert, S. Genaim, A. Merayo, G. Román-Díez","doi":"10.1007/978-3-031-08166-8_2","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_2","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134087000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday 软件逻辑。正式方法的品尝菜单:献给赖纳的文章Hähnle在他60岁生日之际
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8
{"title":"The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday","authors":"","doi":"10.1007/978-3-031-08166-8","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116592513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects 时间和资源感知活动对象的局部抽象全局具体语义
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_23
S. L. T. Tarifa
{"title":"Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects","authors":"S. L. T. Tarifa","doi":"10.1007/978-3-031-08166-8_23","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_23","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117095647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Case Study in Information Flow Refinement for Low Level Systems 低层次系统信息流细化的实例研究
The Logic of Software. A Tasting Menu of Formal Methods Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-08166-8_4
R. Guanciale, Christoph Baumann, Pablo Buiras, M. Dam, Hamed Nemati
{"title":"A Case Study in Information Flow Refinement for Low Level Systems","authors":"R. Guanciale, Christoph Baumann, Pablo Buiras, M. Dam, Hamed Nemati","doi":"10.1007/978-3-031-08166-8_4","DOIUrl":"https://doi.org/10.1007/978-3-031-08166-8_4","url":null,"abstract":"","PeriodicalId":338902,"journal":{"name":"The Logic of Software. A Tasting Menu of Formal Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115230308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
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学术文献互助群
群 号:604180095
Book学术官方微信