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

Deductive Software Verification: Future Perspectives最新文献

筛选
英文 中文
Quo Vadis Formal Verification? 形式验证?
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_1
Reiner Hähnle
{"title":"Quo Vadis Formal Verification?","authors":"Reiner Hähnle","doi":"10.1007/978-3-319-49812-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_1","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"123 14 1","pages":"1-19"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87515751","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
Using the KeY Prover 使用密钥证明程序
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_15
Wolfgang Ahrendt, S. Grebing
{"title":"Using the KeY Prover","authors":"Wolfgang Ahrendt, S. Grebing","doi":"10.1007/978-3-319-49812-6_15","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_15","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"4 1","pages":"495-539"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85084387","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
Verifying Java Card Programs 验证Java卡程序
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_10
Wojciech Mostowski
{"title":"Verifying Java Card Programs","authors":"Wojciech Mostowski","doi":"10.1007/978-3-319-49812-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_10","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"90 1","pages":"353-380"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76111930","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
Abstract Interpretation 抽象的解释
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_6
Nathan Wasser, Reiner Hähnle, Richard Bubel
{"title":"Abstract Interpretation","authors":"Nathan Wasser, Reiner Hähnle, Richard Bubel","doi":"10.1007/978-3-319-49812-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_6","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"84 1","pages":"167-189"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81178467","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}
引用次数: 2
Modular Specification and Verification 模块规格及验证
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_9
Daniel Grahl, Richard Bubel, Wojciech Mostowski, P. Schmitt, Mattias Ulbrich, Benjamin Weiß
{"title":"Modular Specification and Verification","authors":"Daniel Grahl, Richard Bubel, Wojciech Mostowski, P. Schmitt, Mattias Ulbrich, Benjamin Weiß","doi":"10.1007/978-3-319-49812-6_9","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_9","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"859 1","pages":"289-351"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75844223","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
Proof-based Test Case Generation 基于证明的测试用例生成
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_12
Wolfgang Ahrendt, C. Gladisch, Mihai Herda
{"title":"Proof-based Test Case Generation","authors":"Wolfgang Ahrendt, C. Gladisch, Mihai Herda","doi":"10.1007/978-3-319-49812-6_12","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_12","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"45 1","pages":"415-451"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73604242","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}
引用次数: 13
Program Transformation and Compilation 程序转换与编译
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_14
Ran Ji, Richard Bubel
{"title":"Program Transformation and Compilation","authors":"Ran Ji, Richard Bubel","doi":"10.1007/978-3-319-49812-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_14","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"2016 1","pages":"473-492"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73756753","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
From Specification to Proof Obligations 从规范到证明义务
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_8
Daniel Grahl, Mattias Ulbrich
{"title":"From Specification to Proof Obligations","authors":"Daniel Grahl, Mattias Ulbrich","doi":"10.1007/978-3-319-49812-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_8","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"121 1","pages":"243-287"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89471153","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
Debugging and Visualization 调试和可视化
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_11
Martin Hentschel, Reiner Hähnle, Richard Bubel
{"title":"Debugging and Visualization","authors":"Martin Hentschel, Reiner Hähnle, Richard Bubel","doi":"10.1007/978-3-319-49812-6_11","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_11","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"30 1","pages":"383-413"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84185135","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}
引用次数: 2
Functional Verification and Information Flow Analysis of an Electronic Voting System 电子投票系统的功能验证与信息流分析
Deductive Software Verification: Future Perspectives Pub Date : 2016-01-01 DOI: 10.1007/978-3-319-49812-6_18
Daniel Grahl, Christoph Scheben
{"title":"Functional Verification and Information Flow Analysis of an Electronic Voting System","authors":"Daniel Grahl, Christoph Scheben","doi":"10.1007/978-3-319-49812-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-49812-6_18","url":null,"abstract":"","PeriodicalId":11064,"journal":{"name":"Deductive Software Verification: Future Perspectives","volume":"53 1","pages":"593-607"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81553295","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学术文献互助群
群 号：481959085
Book学术官方微信