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

Int. J. Softw. Tools Technol. Transf.最新文献

筛选
英文 中文
Monitoring of spatio-temporal properties with nonlinear SAT solvers 用非线性 SAT 求解器监测时空特性
Int. J. Softw. Tools Technol. Transf. Pub Date : 2024-02-22 DOI: 10.1007/s10009-024-00740-7
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
{"title":"Monitoring of spatio-temporal properties with nonlinear SAT solvers","authors":"André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira","doi":"10.1007/s10009-024-00740-7","DOIUrl":"https://doi.org/10.1007/s10009-024-00740-7","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"23 1","pages":"169-188"},"PeriodicalIF":0.0,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140439510","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
Formally verifying decompositions of stochastic specifications 正式验证随机规范分解
Int. J. Softw. Tools Technol. Transf. Pub Date : 2024-02-21 DOI: 10.1007/s10009-024-00742-5
Anton Hampus, Mattias Nyberg
{"title":"Formally verifying decompositions of stochastic specifications","authors":"Anton Hampus, Mattias Nyberg","doi":"10.1007/s10009-024-00742-5","DOIUrl":"https://doi.org/10.1007/s10009-024-00742-5","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"48 2","pages":"207-228"},"PeriodicalIF":0.0,"publicationDate":"2024-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140444085","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
Reusable formal models for concurrency and communication in custom real-time operating systems 定制实时操作系统中可重复使用的并发和通信形式模型
Int. J. Softw. Tools Technol. Transf. Pub Date : 2024-02-20 DOI: 10.1007/s10009-024-00743-4
Julius Adelt, Julian Gebker, Paula Herber
{"title":"Reusable formal models for concurrency and communication in custom real-time operating systems","authors":"Julius Adelt, Julian Gebker, Paula Herber","doi":"10.1007/s10009-024-00743-4","DOIUrl":"https://doi.org/10.1007/s10009-024-00743-4","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"277 ","pages":"229-245"},"PeriodicalIF":0.0,"publicationDate":"2024-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140447163","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
Deductive verification of smart contracts with Dafny 用 Dafny 对智能合约进行演绎验证
Int. J. Softw. Tools Technol. Transf. Pub Date : 2024-02-20 DOI: 10.1007/s10009-024-00738-1
Franck Cassez, Joanne Fuller, H. M. A. Quiles
{"title":"Deductive verification of smart contracts with Dafny","authors":"Franck Cassez, Joanne Fuller, H. M. A. Quiles","doi":"10.1007/s10009-024-00738-1","DOIUrl":"https://doi.org/10.1007/s10009-024-00738-1","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"56 15","pages":"131-145"},"PeriodicalIF":0.0,"publicationDate":"2024-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140445595","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
Generating interactive documents for domain-specific validation of formal models 为正式模型的特定领域验证生成交互式文档
Int. J. Softw. Tools Technol. Transf. Pub Date : 2024-02-20 DOI: 10.1007/s10009-024-00739-0
Fabian Vu, Christopher Happe, Michael Leuschel
{"title":"Generating interactive documents for domain-specific validation of formal models","authors":"Fabian Vu, Christopher Happe, Michael Leuschel","doi":"10.1007/s10009-024-00739-0","DOIUrl":"https://doi.org/10.1007/s10009-024-00739-0","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"138 ","pages":"147-168"},"PeriodicalIF":0.0,"publicationDate":"2024-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140445314","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
$hbox {CTL}^{star }$ family-based model checking using variability abstractions and modal transition systems $hbox {CTL}^{star}$基于家族的模型检查，使用可变性抽象和模态转换系统
Int. J. Softw. Tools Technol. Transf. Pub Date : 2020-02-01 DOI: 10.1007/S10009-019-00528-0
Aleksandar S. Dimovski
{"title":"$hbox {CTL}^{star }$ family-based model checking using variability abstractions and modal transition systems","authors":"Aleksandar S. Dimovski","doi":"10.1007/S10009-019-00528-0","DOIUrl":"https://doi.org/10.1007/S10009-019-00528-0","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128009495","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
A Workshop on Formal Methods Education: An Aggregation of Opinions 正式方法教育研讨会:意见汇集
Int. J. Softw. Tools Technol. Transf. Pub Date : 1900-01-01 DOI: 10.1007/s100090050029
Steven D. Johnson
{"title":"A Workshop on Formal Methods Education: An Aggregation of Opinions","authors":"Steven D. Johnson","doi":"10.1007/s100090050029","DOIUrl":"https://doi.org/10.1007/s100090050029","url":null,"abstract":"","PeriodicalId":429885,"journal":{"name":"Int. J. Softw. Tools Technol. Transf.","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":"131234148","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
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学术官方微信