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

IEEE International Conference on Software Engineering and Formal Methods最新文献

筛选
英文 中文
Program Generation Using Simulated Annealing and Model Checking 利用模拟退火和模型检验的程序生成
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_11
I. Husien, S. Schewe
{"title":"Program Generation Using Simulated Annealing and Model Checking","authors":"I. Husien, S. Schewe","doi":"10.1007/978-3-319-41591-8_11","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_11","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127264650","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}
引用次数: 5
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_20
A. Cerone
{"title":"A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems","authors":"A. Cerone","doi":"10.1007/978-3-319-41591-8_20","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_20","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123115450","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}
引用次数: 21
Tightening a Contract Refinement 加强合同细化
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_26
A. Cimatti, Ramiro Demasi, Stefano Tonetta
{"title":"Tightening a Contract Refinement","authors":"A. Cimatti, Ramiro Demasi, Stefano Tonetta","doi":"10.1007/978-3-319-41591-8_26","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_26","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125265723","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}
引用次数: 3
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) 并发系统的抽象、语义模型和分析工具:进展和开放问题(扩展摘要)
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_1
G. Agha
{"title":"Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract)","authors":"G. Agha","doi":"10.1007/978-3-319-41591-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_1","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132681992","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
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution 用符号执行证明位向量算法的程序终止
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_16
Jera Hensel, J. Giesl, Florian Frohn, Thomas Ströder
{"title":"Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution","authors":"Jera Hensel, J. Giesl, Florian Frohn, Thomas Ströder","doi":"10.1007/978-3-319-41591-8_16","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_16","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131506167","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}
引用次数: 10
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams 抽象解释与符号执行相结合的框图静态值范围分析
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_10
Christian Dernehl, N. Hansen, S. Kowalewski
{"title":"Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams","authors":"Christian Dernehl, N. Hansen, S. Kowalewski","doi":"10.1007/978-3-319-41591-8_10","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_10","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127332009","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}
引用次数: 7
Counterexamples from Proof Failures in SPARK SPARK中证明失败的反例
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_15
David Hauzar, C. Marché, Yannick Moy
{"title":"Counterexamples from Proof Failures in SPARK","authors":"David Hauzar, C. Marché, Yannick Moy","doi":"10.1007/978-3-319-41591-8_15","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_15","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125996109","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}
引用次数: 12
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes BMotionWeb:一个快速创建正式原型的工具
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_27
L. Ladenberger, M. Leuschel
{"title":"BMotionWeb: A Tool for Rapid Creation of Formal Prototypes","authors":"L. Ladenberger, M. Leuschel","doi":"10.1007/978-3-319-41591-8_27","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_27","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126465997","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
Coq Implementation of OO Verification Framework VeriJ 面向对象验证框架的Coq实现
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_18
Ke Zhang, Z. Qiu
{"title":"Coq Implementation of OO Verification Framework VeriJ","authors":"Ke Zhang, Z. Qiu","doi":"10.1007/978-3-319-41591-8_18","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_18","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114338950","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
Correlating Structured Inputs and Outputs in Functional Specifications 在功能规格书中关联结构化输入和输出
IEEE International Conference on Software Engineering and Formal Methods Pub Date : 2016-07-04 DOI: 10.1007/978-3-319-41591-8_7
Oana Fabiana Andreescu, T. Jensen, Stéphane Lescuyer
{"title":"Correlating Structured Inputs and Outputs in Functional Specifications","authors":"Oana Fabiana Andreescu, T. Jensen, Stéphane Lescuyer","doi":"10.1007/978-3-319-41591-8_7","DOIUrl":"https://doi.org/10.1007/978-3-319-41591-8_7","url":null,"abstract":"","PeriodicalId":413471,"journal":{"name":"IEEE International Conference on Software Engineering and Formal Methods","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114519141","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
首页 上一页
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学术官方微信