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

Haifa Verification Conference最新文献

筛选
英文 中文
LRA Interpolants from No Man's Land 来自无人区的圣灵抵抗军
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_13
Leonardo S. Alt, A. Hyvärinen, N. Sharygina
{"title":"LRA Interpolants from No Man's Land","authors":"Leonardo S. Alt, A. Hyvärinen, N. Sharygina","doi":"10.1007/978-3-319-70389-3_13","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_13","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116920192","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}
引用次数: 9
More Adaptive Does not Imply Less Safe (with Formal Verification) 更强的适应性并不意味着更不安全(有正式验证)
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_19
Luca Pulina, A. Tacchella
{"title":"More Adaptive Does not Imply Less Safe (with Formal Verification)","authors":"Luca Pulina, A. Tacchella","doi":"10.1007/978-3-319-70389-3_19","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_19","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117275985","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
Trace-based Analysis of Memory Corruption Malware Attacks 基于跟踪的内存损坏恶意软件攻击分析
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_5
Zhixing Xu, Aarti Gupta, S. Malik
{"title":"Trace-based Analysis of Memory Corruption Malware Attacks","authors":"Zhixing Xu, Aarti Gupta, S. Malik","doi":"10.1007/978-3-319-70389-3_5","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_5","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129554814","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
A Framework for Asynchronous Circuit Modeling and Verification in ACL2 ACL2中异步电路建模与验证框架
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_1
C. Chau, W. Hunt, M. Roncken, I. Sutherland
{"title":"A Framework for Asynchronous Circuit Modeling and Verification in ACL2","authors":"C. Chau, W. Hunt, M. Roncken, I. Sutherland","doi":"10.1007/978-3-319-70389-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_1","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"468 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133212824","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}
引用次数: 9
MicroTESK: Specification-Based Tool for Constructing Test Program Generators microtask:基于规范的工具，用于构建测试程序生成器
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_15
M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov
{"title":"MicroTESK: Specification-Based Tool for Constructing Test Program Generators","authors":"M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov","doi":"10.1007/978-3-319-70389-3_15","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_15","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134007709","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}
引用次数: 11
RATCOP: Relational Analysis Tool for Concurrent Programs RATCOP:并发程序的关系分析工具
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_18
Suvam Mukherjee, O. Padon, Sharon Shoham, D. D'Souza, N. Rinetzky
{"title":"RATCOP: Relational Analysis Tool for Concurrent Programs","authors":"Suvam Mukherjee, O. Padon, Sharon Shoham, D. D'Souza, N. Rinetzky","doi":"10.1007/978-3-319-70389-3_18","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_18","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114696675","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
Embedded Functions for Test Design Automation 测试设计自动化的嵌入式功能
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_16
G. B. Sherwood
{"title":"Embedded Functions for Test Design Automation","authors":"G. B. Sherwood","doi":"10.1007/978-3-319-70389-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_16","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115856936","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
A Supervisory Control Algorithm Based on Property-Directed Reachability 一种基于属性可达性的监控算法
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_8
Koen Claessen, Jonatan Kilhamn, L. Kovács, B. Lennartson
{"title":"A Supervisory Control Algorithm Based on Property-Directed Reachability","authors":"Koen Claessen, Jonatan Kilhamn, L. Kovács, B. Lennartson","doi":"10.1007/978-3-319-70389-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_8","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129750028","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
Deferrability Analysis for JavaScript JavaScript的可延期性分析
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_3
J. Kloos, R. Majumdar, Frank McCabe
{"title":"Deferrability Analysis for JavaScript","authors":"J. Kloos, R. Majumdar, Frank McCabe","doi":"10.1007/978-3-319-70389-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_3","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126763448","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 Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models 基于内存一致性模型的有向无环图模型检验方法
Haifa Verification Conference Pub Date : 2017-11-13 DOI: 10.1007/978-3-319-70389-3_4
Tatsuya Abe
{"title":"A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models","authors":"Tatsuya Abe","doi":"10.1007/978-3-319-70389-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-70389-3_4","url":null,"abstract":"","PeriodicalId":325700,"journal":{"name":"Haifa Verification Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129236719","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
首页 上一页 下一页 尾页
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学术官方微信