Invited Paper Formal Analysis of Processor Timing Models Reinhard Wilhelm 1 Heuristics and Probabilities Typical Structural Properties of State Spaces Radek Pelánek 5 State Caching Reconsidered Jaco Geldenhuys 23 Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM Peter Leven, Tilman Mehler, Stefan Edelkamp 39 Fast and Accurate Bitstate Verification for SPIN Peter C. Dillinger, Panagiotis Manolios 57 Improvements of SPIN Model-Driven Software Verification Gerard J. Holzmann, Rajeev Joshi 76 Minimization of Counterexamples in SPIN Paul Gastin, Pierre Moro, Marc Zeitoun 92 Validation of Timed Systems Black-Box Conformance Testing for Real-Time Systems Moez Krichen, Stavros Tripakis 109 Validation of UML Models via a Mapping to Communicating Extended Timed Automata Iulian Ober, Susanne Graf, Ileana Ober 127 Tool Papers Explicit State Model Checking with Hopper Michael Jones, Eric Mercer 146 SEQ.OPEN: A Tool for Efficient Trace-Based Verification Hubert Garavel, Radu Mateescu 151 X Table of Contents Model Checking Genetic Regulatory Networks Using GNA and CADP Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 158 Abstraction and Symbolic Methods Verification of Java Programs Using Symbolic Execution and Invariant Generation Willem Visser Polynomial Time Image Computation with Interval-Definable Counters Systems Alain Finkel, Jérôme Leroux 182 Using Fairness to Make Abstractions Work Natalia Ioustinova, Natalia Sidorova 198 A Scalable Incomplete Test for Message Buffer Overflow in Promela Models Stefan Leue, Richard Mayr, Wei Wei 216 Applications Translation from Adapted UML to Promela for CORBA-Based Applications J. Chen, H. Cui 234 Verifying Commit-Atomicity Using Model-Checking Cormac Flanagan 252 Analysis of Distributed Spin Applied to Industrial-Scale Models Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren Cofer 267 Verification of MPI-Based Software for Scientific Computation Stephen F. Siegel, George S. Avrunin 286 Tutorials Advanced SPIN Tutorial Theo C. Ruys, Gerard J. Holzmann 304 IF Validation Environment Tutorial Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
剩余319页未读,继续阅读
- 粉丝: 0
- 资源: 1
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- ExcelVBA中的Range和Cells用法说明.pdf
- 基于单片机的电梯控制模型设计.doc
- 主成分分析和因子分析.pptx
- 共享笔记服务系统论文.doc
- 基于数据治理体系的数据中台实践分享.pptx
- 变压器的铭牌和额定值.pptx
- 计算机网络课程设计报告--用winsock设计Ping应用程序.doc
- 高电压技术课件:第03章 液体和固体介质的电气特性.pdf
- Oracle商务智能精华介绍.pptx
- 基于单片机的输液滴速控制系统设计文档.doc
- dw考试题 5套.pdf
- 学生档案管理系统详细设计说明书.doc
- 操作系统PPT课件.pptx
- 智慧路边停车管理系统方案.pptx
- 【企业内控系列】企业内部控制之人力资源管理控制(17页).doc
- 温度传感器分类与特点.pptx
评论0