国际技术转让软件工具杂志,第24卷
第24卷第1期,2022年2月
卢卡斯·查瓦特 , 亚历斯·斯姆卡 , 托马斯·沃伊纳 :
利用参数系统检测管道危险。 1-28 托马斯·沃伊纳 , 张丽君 :
系统构建和分析的工具和算法:2019年TACAS的特刊。 29-31 伊琳娜·斯托尔科夫斯卡 , 伊戈尔·康诺夫 , 约瑟夫·威德 , 弗洛里安·祖勒格 :
通过有界模型检查验证同步容错算法的安全性。 33-48 瑟伦·恩沃尔森 , 金·古德斯特兰·拉森 , 吉尔·斯尔巴 :
扩展的抽象依赖关系图。 49-65 彼得·武克米洛维奇 , 布兰切特 , 西蒙·克鲁恩斯 , 斯蒂芬·舒尔茨 :
将brainiac证明程序扩展到无lambda-free高阶逻辑。 67-87 朱奈德·巴巴尔 , 吉安弗兰科·西亚多 , 安德鲁·米纳 :
CESRBDDs:具有补边和边指定约简的二元决策图。 89-109 马丁·布利查 , 安蒂·海瓦里宁 , 扬·科夫伦 , 娜塔莎·沙里吉娜 :
在Farkas插值分解中使用线性代数。 111-125
第24卷第2期,2022年4月
亚历山大·维诺特 , 艾美儿奶油 , 布鲁诺传奇 , 法比安·佩鲁克斯 :
一种为空中交通管制系统设计虚假数据注入测试的特定领域语言。 127-158 安托万·埃尔·霍卡耶姆 , 伊利耶斯·法尔科内 :
将运行时验证带回家:使用分散规范对智能家居进行分层监控的案例研究。 159-181 马龙·杜马 , 卢西亚诺·加西亚·巴涅洛斯 , 佐塞普·贾格尔 , 彼得·劳德 , 雷蒙达斯·马图列维修斯 , 阿里萨·潘科娃 , 马丁·佩泰 , Pille Pullonen-Raudvere公司 , Aivo图茨 , Reedik Tuuling公司 , Maksym Yerokhin公司 :
业务流程的多级隐私分析:Pleak工具集。 183-203 保罗·安东尼·阿拉斯 , 安德氏Anastasios , 路易斯·皮纳 , 卡洛利斯·米图扎斯 , 《千禧书》 , 丹尼尔·格伦伯格 , 克里斯蒂安·卡达尔 :
SaBRe:加载时选择性二进制重写。 205-223 哈斯娜·卢阿达 , 伊凡·拉比奇 :
与Citrus(航空电子系统接口)的接口控制文件建模。 225-245 洛伦佐·贝蒂尼 , 大卫·迪·鲁西奥 , 卢多维科·伊奥维诺 , 阿方索·皮兰托尼奥 :
使用edelta支持安全的元模型进化。 247-260 佩尔·埃里克·斯特兰德伯格 , 瓦西夫·阿夫扎尔 , 丹尼尔·桑德马克 :
软件测试结果的探索和可视化,以及持续集成和夜间测试。 261-285 加文·洛 :
使用视图抽象对具有组件标识的系统进行参数化验证。 287-324
第24卷第3期,2022年6月
莫里斯·特尔·比克 , 金·拉森 , 德扬·尼科维奇 , 蒂姆·A·C·威廉斯 :
工业关键系统的形式化方法和工具。 325-330 诺曼·威克 , 马蒂亚斯·沃尔克 , Joost-Pieter Katoen公司 , 尼尔斯·涅恩 :
铁路基础设施运营风险评估的DFT建模方法。 331-350 大卫·巴兹勒 , 莫里斯·特尔·比克 , 阿莱西奥·法拉利 , Axel Legay公司 :
探索ERTMS/ETCS全移动块规范:使用形式化方法的经验。 351-370 亚尼·库斯科拉斯 , 蒂亚戈·J·马查多 , 丹尼尔·杰宁 , 极光C.施密特 , 伊万·帕普萨 , 约书亚·布鲁莱 :
包络线和波浪:水平非确定性转弯时安全避免多车碰撞。 371-394 荣古 , 彼得·约尔·詹森 , 丹尼·鲍尔森 , 克里斯蒂娜·塞塞莱亚努 , 爱德华·伊诺乌 , 克里斯蒂娜·隆德奎斯特 :
多自治代理的可验证策略合成:一种可扩展的方法。 395-414 本杰明·宾德 , 米哈伊尔·细辛 , 弗洛里安·布兰德纳 , 贝尔加切姆·本·赫迪亚 , 马修·扬 :
超标量三核结构中放大定时异常的形式化建模和验证。 415-440 奥拉夫·邦特 , 路易斯·范古尔 , 蒂姆·A·C·威廉斯 :
使用mCRL2对OIL组件规范进行正式验证。 441-472 塞缪尔·黄 , 兰斯·克莱维兰 :
有限数据流上的时态逻辑查询检查。 473-492 彼得·罗凯 , 吉里·巴纳特 :
DivSIM是LLVM位码的交互式模拟器。 493-510
第24卷第4期,2022年8月
埃拉赫·哈比比 , Seyed-Hassan Mirian-Hosseinabadi公司 :
通过基于方法的属性语法将测试生成为web服务(TaaWS)。 511-527 塞巴斯蒂安·萨尔瓦 , Elliott印记 :
学习与CkTailv2通信系统的行为模型和依赖图。 529-548 H.M.W.Verbeek先生 :
ProM 6.9中的Log Skeleton Visualizer。 549-561 克里斯托夫·奥林回来 , 蒂杰斯·斯拉茨 , 托马斯·特洛伊斯·希尔德布兰特 , 莫滕·马夸德 :
DisCovR:准确高效地发现声明性流程模型。 563-587 克里斯蒂安·亨塞尔 , 塞巴斯蒂安·荣格斯 , Joost-Pieter Katoen公司 , 蒂姆·夸特曼 , 马蒂亚斯·沃尔克 :
概率模型检查器Storm。 589-610 Axel Legay公司 , 蒂齐亚娜·玛格丽亚 :
系统构建和分析的工具和算法:2017年TACAS特刊。 611-612 佩德罗·安东尼诺 , 托马斯·吉布森-罗宾逊 , A.W.罗斯科 :
使用标记结构和不变量对并发系统进行近似验证。 613-633 哈维尔·埃斯帕尔扎 , 扬·克伦斯克 , Jean-François Raskin女士 , 所罗门·西克特 :
从线性时序逻辑和极限确定性Büchi自动机到确定性奇偶自动机。 635-659 德克·拜尔 , 斯特凡·洛韦 , 菲利普·温德勒 :
更正为:可靠基准:要求和解决方案。 661
第24卷第5期,2022年10月
阿明·比尔 , 大卫·帕克 :
系统构建和分析的工具和算法:TACAS 2020的一个特刊。 663-665 哈达尔·弗兰克尔 , 奥尔娜·格伦伯格 , 科琳娜·帕萨雷努 , 萨拉伊·申瓦尔德 :
假设、保证或修复:非常规财产的常规框架。 667-689 弗洛里安·弗洛恩 , 卡斯滕·福斯 :
模块循环加速和非终结证明的演算。 691-715 Benedikt F.H.Becker公司 , 尼古拉斯·珍妮罗德 , 克劳德·马奇 , 扬恩·雷吉斯·詹纳斯 , 米哈拉·西希雷亚努 , 拉尔夫·特雷恩 :
用于分析Debian软件包中维护者脚本的CoLiS平台。 717-733 托马斯·内勒 , 蒂姆·A·C·威廉斯 , 威格·威瑟林克 , 安蒂·瓦尔马里 :
奇偶对策和参数化布尔方程系统的部分阶约简。 735-756 鲁本·哈默斯 , 埃里克·霍林斯 , 宋世宗 :
Discourje项目:Clojure中通信协议的运行时验证。 757-782 汉斯·戴特·A·希普 , 奥拉夫·马图瓦 , 金顶边 , 弗兰克·S·德·波尔 , Stijn de Gouw公司 :
使用KeY(扩展论文)验证OpenJDK的LinkedList。 783-802 汤姆·巴丁斯 , 穆拉特·库布特佩 , 尼尔斯·詹森 , 塞巴斯蒂安·荣格斯 , Joost-Pieter Katoen公司 , Ufuk Topcu公司 :
基于场景的不确定参数MDP验证。 803-819 卡洛斯·巴德 , 佩德罗·达吉尼奥 , 劳尔·蒙蒂 , 玛丽埃尔·斯托琳加 :
通过罕见事件模拟分析非马尔可夫可修复故障树。 821-841 Supratik查克拉博蒂 , 阿舒托什·古普塔 , Divyesh Unadkat公司 :
全程序归纳:验证无循环不变量的数组程序。 843-888
第24卷第6期,2022年12月
马瓦尔·穆罕默德 , 贾梅勒丁·哈辛 , 穆罕默德·阿尔沙耶布 :
GSDetector:自动检测GRL目标模型中的臭味的工具。 889-910 李在勋(Jaehun Lee) , Kyungmin Bae公司 , 彼得·塞巴·奥尔夫茨基 , 沙伦·金 , Minseok Kang公司 :
AADL中虚拟同步网络物理系统的建模和形式化分析。 911-948 拉姆齐·G·泰勒 , 迈克尔·福斯特 , Siobhán北部 :
用于验证或反驳扩展有限状态机的跟踪属性的自动框架。 949-972 阿尔贝托·卢奇·拉富恩特 , 阿纳斯塔西亚·马夫里杜 :
工业关键系统的形式化方法和工具。 973-976 Cláudio Belo Lourenço贝洛·卢伦索 , 丹尼斯·库西诺 , 弗洛里安·费索尔 , 克劳德·马奇 , 大卫·曼特雷 , 井上裕久 :
自动形式化分析梯形图程序的时间属性。 977-997 西蒙·特兰·汉森 , 卡斯珀·图勒 , 科劳迪奥·戈麦斯 , 雅各·范德波尔 , 毛里齐奥·帕尔米耶里 , 埃明·奥古斯·因奇 , 弗雷德里克·帕卢丹·马德森 , 耶稣·阿方索 , 何塞·安杰尔·卡斯特拉诺斯 , 何塞·曼努埃尔·罗德里格斯-福顿 :
根据代数循环和自适应步骤验证和综合联合仿真算法。 999-1024 安德烈·基维里加 , 金·古德斯特兰·拉森 , 乌里克·尼曼 :
UPPAAL中的随机可达性分析:定时系统中的快速错误检测。 1025-1042 约书亚·施密特 , 迈克尔·勒谢尔 :
用于B和Event-B模型验证的SMT解决方案。 1043-1077