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

On Tap最新文献

筛选
英文 中文
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers 测试和证明-第一届国际会议，TAP 2007，苏黎世，瑞士，2007年2月12-13日。修改后的论文
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-73770-4
Y. Gurevich, B. Meyer
{"title":"Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers","authors":"Y. Gurevich, B. Meyer","doi":"10.1007/978-3-540-73770-4","DOIUrl":"https://doi.org/10.1007/978-3-540-73770-4","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"39 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":"122881185","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
Low-Level Reachability Analysis Based on Formal Logic 基于形式逻辑的低级可达性分析
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_2
N. Naus, Freek Verbeek, Marc Schoolderman, B. Ravindran
{"title":"Low-Level Reachability Analysis Based on Formal Logic","authors":"N. Naus, Freek Verbeek, Marc Schoolderman, B. Ravindran","doi":"10.1007/978-3-031-38828-6_2","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_2","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"102 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":"132468247","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
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking 有效运行时断言检查的递归逻辑定义的抽象解释
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_10
Thibaut Benajmin, Julien Signoles
{"title":"Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking","authors":"Thibaut Benajmin, Julien Signoles","doi":"10.1007/978-3-031-38828-6_10","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_10","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"1 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":"130178487","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
Symbolic Observation Graph-Based Generation of Test Paths 基于符号观测图的测试路径生成
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_8
Kais Klai, M. Bennani, Jaime Arias, J. Desel, Hanen Ochi
{"title":"Symbolic Observation Graph-Based Generation of Test Paths","authors":"Kais Klai, M. Bennani, Jaime Arias, J. Desel, Hanen Ochi","doi":"10.1007/978-3-031-38828-6_8","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_8","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"16 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":"128629148","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
Testing Languages with a Languages-as-Databases Approach 用语言作为数据库的方法测试语言
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_7
M. Cimini
{"title":"Testing Languages with a Languages-as-Databases Approach","authors":"M. Cimini","doi":"10.1007/978-3-031-38828-6_7","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_7","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","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":"116341716","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
Context Specification Language for Formally Verifying Consent Properties on Models and Code 用于正式验证模型和代码的同意属性的上下文规范语言
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_5
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
{"title":"Context Specification Language for Formally Verifying Consent Properties on Models and Code","authors":"Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles","doi":"10.1007/978-3-031-38828-6_5","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_5","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"29 22","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114028184","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
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries BIRD:用于正式验证的X86-64二进制反编译的二进制中间表示
On Tap Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38828-6_1
Daniel Engel, Freek Verbeek, B. Ravindran
{"title":"BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries","authors":"Daniel Engel, Freek Verbeek, B. Ravindran","doi":"10.1007/978-3-031-38828-6_1","DOIUrl":"https://doi.org/10.1007/978-3-031-38828-6_1","url":null,"abstract":"","PeriodicalId":239959,"journal":{"name":"On Tap","volume":"53 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":"126186196","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学术官方微信