Formal Verification of Object-Oriented Software最新文献

筛选
英文 中文
The COST IC0701 Verification Competition 2011 2011年COST IC0701验证竞赛
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_2
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich
{"title":"The COST IC0701 Verification Competition 2011","authors":"Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich","doi":"10.1007/978-3-642-31762-0_2","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_2","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133004449","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}
引用次数: 33
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode Java字节码的非终止和nullpointerexception的自动检测
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_9
Marc Brockschmidt, Thomas Ströder, Carsten Otto, J. Giesl
{"title":"Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode","authors":"Marc Brockschmidt, Thomas Ströder, Carsten Otto, J. Giesl","doi":"10.1007/978-3-642-31762-0_9","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_9","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126040520","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}
引用次数: 67
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios 资源受限部署场景下自定义资源的形式化模型
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_13
E. Johnsen, R. Schlatte, S. L. T. Tarifa
{"title":"A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios","authors":"E. Johnsen, R. Schlatte, S. L. T. Tarifa","doi":"10.1007/978-3-642-31762-0_13","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_13","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121250730","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}
引用次数: 8
Verification of Information Flow Properties of Java Programs without Approximations 无近似的Java程序信息流特性验证
Formal Verification of Object-Oriented Software Pub Date : 2011-10-05 DOI: 10.1007/978-3-642-31762-0_15
Christoph Scheben, P. Schmitt
{"title":"Verification of Information Flow Properties of Java Programs without Approximations","authors":"Christoph Scheben, P. Schmitt","doi":"10.1007/978-3-642-31762-0_15","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_15","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124549968","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}
引用次数: 40
Verification of Software Product Lines with Delta-Oriented Slicing 面向增量切片的软件产品线验证
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_5
Daniel Grahl, V. Klebanov, Ina Schaefer
{"title":"Verification of Software Product Lines with Delta-Oriented Slicing","authors":"Daniel Grahl, V. Klebanov, Ina Schaefer","doi":"10.1007/978-3-642-18070-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_5","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125414185","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}
引用次数: 40
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties CVPP:用于控制流安全属性组合验证的工具集
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_8
M. Huisman, D. Gurov
{"title":"CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties","authors":"M. Huisman, D. Gurov","doi":"10.1007/978-3-642-18070-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_8","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128229120","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}
引用次数: 16
Specifying Imperative ML-Like Programs Using Dynamic Logic 使用动态逻辑指定命令式ml类程序
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_9
Séverine Maingaud, V. Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel
{"title":"Specifying Imperative ML-Like Programs Using Dynamic Logic","authors":"Séverine Maingaud, V. Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel","doi":"10.1007/978-3-642-18070-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_9","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121359199","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
JMLUnit: The Next Generation JMLUnit:下一代
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_13
D. M. Zimmerman, Rinkesh Nagmoti
{"title":"JMLUnit: The Next Generation","authors":"D. M. Zimmerman, Rinkesh Nagmoti","doi":"10.1007/978-3-642-18070-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_13","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"46 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133021334","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}
引用次数: 41
Sawja: Static Analysis Workshop for Java Sawja: Java静态分析研讨会
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_7
L. Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, T. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
{"title":"Sawja: Static Analysis Workshop for Java","authors":"L. Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, T. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin","doi":"10.1007/978-3-642-18070-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_7","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"83 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114332996","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}
引用次数: 36
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? 面向对象语言在共归纳CLP(X)中的编译:类型推理能满足验证吗?
Formal Verification of Object-Oriented Software Pub Date : 2010-06-28 DOI: 10.1007/978-3-642-18070-5_3
D. Ancona, A. Corradi, Giovanni Lagorio, Ferruccio Damiani
{"title":"Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?","authors":"D. Ancona, A. Corradi, Giovanni Lagorio, Ferruccio Damiani","doi":"10.1007/978-3-642-18070-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_3","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"9 30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127751597","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}
引用次数: 20
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学术官方微信