×

用于构建和分析系统的工具和算法。第7届国际会议,TACAS 2001,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2001,2001年4月2日至6日,意大利热那亚。诉讼程序。 (英语) Zbl 0960.00058号

计算机科学课堂讲稿. 2031. 柏林:斯普林格。xiv,588页(2001年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。上一次会议(2000年第6次)已经过审查(参见Zbl 0935.00048号).
索引文章:
莫舍·瓦尔迪。,分支与线性时间:最终决战,1-22[Zbl 0986.68064号]
迈克尔·福曼。,命题推理,23[Zbl 0986.68892号]
伯恩德·芬克贝纳,使用非确定性BDD进行语言包含检查,24-38[Zbl 0978.68093号]
威廉姆斯,保罗·弗雷德里克;安徒生、亨利克·雷夫;亨利克·胡尔加德,使用布尔表达式图进行可满足性检查,39-51[Zbl 0978.68563号]
雅武兹·卡维奇(Tuba Yavuz-Kahveci);Tuncer,Murat;特夫菲克·布尔坦,复合符号表示库,52-66[Zbl 0978.68536号]
Michael A.Colón。;亨尼·B·西普玛。,线性排序函数的合成,67-81[Zbl 0978.68095号]
阿米尔·普努利;西瓦尼·鲁阿;勒诺尔·扎克,使用不可见不变量进行自动演绎验证,82-97[Zbl 0978.68539号]
Lakhnech,Y。;Bensalem,S。;别雷津,S。;Owre,S。,通过抽象进行增量验证,98-112[Zbl 0978.68543号]
Tiwari,A。;H.ß街。;萨伊迪,H。;北卡罗来纳州Shankar。,不变量生成技术,113-127[Zbl 0978.68091号]
罗伯托·塞巴斯蒂安;亚历山德罗·托马西;福斯托·金奇利亚,模型检查教学大纲和学生职业,128-142[Zbl 0978.68544号]
傅湘;布尔坦、特夫菲克;理查德·赫尔(Richard Hull);苏建文,验证Vortex工作流,143-157[Zbl 0978.68716号]
托马斯·鲍尔(Thomas Ball);萨加尔·查基;Rajamani,Sriram K。,多线程软件库的参数化验证,158-173[Zbl 0978.68679号]
Gerd Behrmann;芬克(Fehnker)、安斯加(Ansgar);托马斯·胡恩;Larsen,Kim;保罗·佩特森,UPPAAL中成本优化的有效指导,174-188[Zbl 0978.68541号]
Thomas Hune;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司,时间自动机的线性参数模型检验,189-203[Zbl 0978.68094号]
Andova,S。;巴顿,J.C.M。,概率过程代数中的抽象,204-219[Zbl 0978.68100号]
西奥·C·鲁伊斯。;罗姆·兰格拉克;Joost-Pieter Katoen;迭戈·拉特拉;梅克·马西克,使用偏序的随机过程代数的首次通过时间分析,220-235[Zbl 0978.68103号]
阿兰·迈克罗夫特(Alan Mycroft);理查德·夏普,使用函数语言进行硬件/软件协同设计,236-251[Zbl 0978.68650号]
米罗斯拉夫·韦列夫。,在超标量微处理器的形式化验证中自动提取内存,252-267[Zbl 0978.68764号]
托马斯·鲍尔(Thomas Ball);安德烈亚斯·波德尔斯基;Rajamani,Sriram K。,用于模型检查的布尔和笛卡尔抽象C程序,268-283[Zbl 0978.68540号]
科琳娜·s·帕斯·雷纳。;马修·德怀尔(Matthew B.Dwyer)。;威廉·维瑟,在模型检查抽象Java程序时寻找可行的反例,284-298[Zbl 0978.68641号]
约阿希姆·范登伯格;巴特·雅各布斯,用于Java和JML的LOOP编译器,299-312[Zbl 0978.68708号]
亚历山德罗·西马蒂;马可·罗维里(Marco Roveri);皮耶乔治·贝尔托利,通过结合显式状态和符号模型检查来搜索幂集自动机,313-327[Zbl 0978.68546号]
Gianfranco Ciardo;杰拉尔德·吕特根(Gerald Lüttgen);拉杜·西米尼切努,饱和:符号状态空间生成的有效迭代策略,328-342[Zbl 0978.68545号]
布莱恩·尼尔森(Brian Nielsen);斯库,阿恩,从时间自动机自动生成测试,343-357[Zbl 0978.68538号]
萨尔弗拉兹省库尔希德,使用遗传算法测试有意命名方案,358-372[Zbl 0978.68699号]
菲利波·里卡;保罗·托内拉《构建用于分析和测试Web应用程序的工具:问题和解决方案》,373-388[Zbl 0986.68891号]
阿米·苏特(Amie L.Souter)。;Tiffany M.Wong。;Stacey A.Shindo。;洛丽·波洛克。,塔图:测试和A类分析用于的工具对象-定向软件,389-403[Zbl 0978.68768号]
玛莎·契克;贝内特·德韦鲁;史蒂夫·伊斯特布鲁克,实现多值符号模型检查器,404-419[Zbl 0978.68542号]
凯西·菲斯勒;拉南·弗雷尔;吉拉·卡米;Vardi,Moshe Y。;杨紫江,是否有最佳的符号循环检测算法?,420-434 [Zbl 0986.68522号]
Carvajal Schiaffino,鲁本;乔治·德尔扎诺;乔瓦尼·奇奥拉,结合结构和枚举技术验证有界Petri网,435-449[Zbl 0978.68550号]
瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德,状态空间探索的扫线法,450-464[兹比尔0978.68547]
尼娜·阿姆拉(Nina Amla);艾默生·E·艾伦;Kedar Namjoshi;理查德·特雷弗勒,基于假设保证的同步时序图合成推理,465-479[Zbl 0978.68537号]
Tan,Li;兰斯·克莱维兰,重温模拟,480-495[Zbl 0986.68165号]
Elsa L.Gunter。;安卡·穆斯科尔;Doron A.Peled。,合成消息序列图,496-511[Zbl 0978.68549号]
Jochen Klose;哈特穆特·维特克,基于自动机的实时序列图解释,512-527[Zbl 0978.68548号]
哈纳·乔克勒;奥纳·库普夫曼;莫舍·瓦尔迪。,时序逻辑模型检查的覆盖度量,528-542[Zbl 0978.68092号]
博利格,贝内迪克特;Martin Leucker;韦伯,迈克尔,无交互演算的并行模型检查,543-558[Zbl 0986.68065号]
帕里托什·K·潘迪亚。,模型检查CTL*[DC],559-573[Zbl 0986.68066号]
米歇尔·博杜安·拉丰(Michel Beaudouin-Lafon);温迪·麦凯(Wendy E.Mackay)。;Mads Jensen;彼得·安徒生;保罗·贾内切克,CPN/Tools:用于编辑和模拟彩色Petri网的工具。与TACAS相关的ETAPS工具演示,574-577[Zbl 0978.68758号]
朱塞佩·德尔·卡斯蒂略ASM Workbench–用于计算机辅助分析和验证抽象状态机模型的工具环境。工具演示,578-581[Zbl 0978.68761号]
诺尔,托马斯;弗雷德隆·拉尔斯·奥克;古罗夫,帝力,Erlang验证工具,582-585[Zbl 0978.68703号]

MSC公司:

00B25型 其他特别感兴趣的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等

软件:

Uppaal公司
PDF格式BibTeX公司 XML格式引用