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

Handbook of Model Checking最新文献

筛选
英文 中文
The mu-calculus and Model Checking 微积分与模型检验
Handbook of Model Checking Pub Date : 2018-05-19 DOI: 10.1007/978-3-319-10575-8_26
Julian Bradfield, I. Walukiewicz
{"title":"The mu-calculus and Model Checking","authors":"Julian Bradfield, I. Walukiewicz","doi":"10.1007/978-3-319-10575-8_26","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_26","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128127261","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}
引用次数: 68
Model Checking Parameterized Systems 模型检查参数化系统
Handbook of Model Checking Pub Date : 2018-05-18 DOI: 10.1007/978-3-319-10575-8_21
P. Abdulla, A. Sistla, Muralidhar Talupur
{"title":"Model Checking Parameterized Systems","authors":"P. Abdulla, A. Sistla, Muralidhar Talupur","doi":"10.1007/978-3-319-10575-8_21","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_21","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126447149","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}
引用次数: 17
Propositional SAT Solving 命题SAT求解
Handbook of Model Checking Pub Date : 2018-05-18 DOI: 10.1007/978-3-319-10575-8_9
Joao Marques-Silva, S. Malik
{"title":"Propositional SAT Solving","authors":"Joao Marques-Silva, S. Malik","doi":"10.1007/978-3-319-10575-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_9","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122640202","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}
引用次数: 18
Modeling for Verification 为验证建模
Handbook of Model Checking Pub Date : 2018-05-18 DOI: 10.1007/978-3-319-10575-8_3
S. Seshia, N. Sharygina, S. Tripakis
{"title":"Modeling for Verification","authors":"S. Seshia, N. Sharygina, S. Tripakis","doi":"10.1007/978-3-319-10575-8_3","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_3","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114439924","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
Functional Specification of Hardware via Temporal Logic 基于时序逻辑的硬件功能规范
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_24
C. Eisner, D. Fisman
{"title":"Functional Specification of Hardware via Temporal Logic","authors":"C. Eisner, D. Fisman","doi":"10.1007/978-3-319-10575-8_24","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_24","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"105 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":"116433413","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
Combining Model Checking and Testing 结合模型检查和测试
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_19
Patrice Godefroid, Koushik Sen
{"title":"Combining Model Checking and Testing","authors":"Patrice Godefroid, Koushik Sen","doi":"10.1007/978-3-319-10575-8_19","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_19","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"56 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":"122416574","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}
引用次数: 25
Partial-Order Reduction 减少偏序
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_6
D. Peled
{"title":"Partial-Order Reduction","authors":"D. Peled","doi":"10.1007/978-3-319-10575-8_6","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_6","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"8 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":"124202654","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
Process Algebra and Model Checking 过程代数与模型检验
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_32
R. Cleaveland, A. W. Roscoe, S. Smolka
{"title":"Process Algebra and Model Checking","authors":"R. Cleaveland, A. W. Roscoe, S. Smolka","doi":"10.1007/978-3-319-10575-8_32","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_32","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","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":"130921695","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
Model Checking Security Protocols 模型检查安全协议
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_22
D. Basin, C. Cremers, C. Meadows
{"title":"Model Checking Security Protocols","authors":"D. Basin, C. Cremers, C. Meadows","doi":"10.1007/978-3-319-10575-8_22","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_22","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"51 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":"116008116","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
Combining Model Checking and Deduction 结合模型检验和推理
Handbook of Model Checking Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-10575-8_20
N. Shankar
{"title":"Combining Model Checking and Deduction","authors":"N. Shankar","doi":"10.1007/978-3-319-10575-8_20","DOIUrl":"https://doi.org/10.1007/978-3-319-10575-8_20","url":null,"abstract":"","PeriodicalId":104890,"journal":{"name":"Handbook of Model Checking","volume":"40 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131658220","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}
引用次数: 15
下一页 尾页
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学术官方微信