首页>外文会议>其他>International Conference on Tools and Algorithms for the Construction and Analysis of Systems

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP

机译：JML测试工具：使用CLP的JML规范的符号动画仪
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
- java modeling language;
- model-based;
- object-oriented;
- symbolic animation;
2.jETI: A Tool for Remote Tool Integration

机译：Jeti：远程工具集成的工具
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
3.Truly On-the-Fly LTL Model Checking

机译：真正在线 - 飞行LTL模型检查
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
4.Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit

机译：高效冲突分析查找布尔电路的所有令人满意的分配
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
5.Snapshot Verification

机译：快照验证
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
6.Model Checking Infinite-State Markov Chains

机译：模型检查无限状态马尔可夫链
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
7.Monte Carlo Model Checking

机译：蒙特卡罗模型检查
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
8.Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs

机译：组成消息序列图（CMSCS）更好地实现MSCS
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
9.Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems

机译：分离公平分立系统分析公平和良好的成熟
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
10.Shortest Counterexamples for Symbolic Model Checking of LTL with Past

机译：与过去的LTL符号模型检查的最短反应范围
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
11.Simulation-Based Iteration of Tree Transducers

机译：基于仿真的树传感器迭代
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
12.SATABS: SAT-Based Predicate Abstraction for ANSI-C

机译：SATABS：基于SAT的ANSI-C的谓词抽象
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
13.jMoped: A Java Bytecode Checker Based on Moped

机译：JMOPED：基于MOPED的Java字节码检查器
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
14.On Some Transformation Invariants Under Retiming and Resynthesis

机译：在重度和重新合作下的一些转化不变
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
15.An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic

机译：线性算术逻辑可满足性的增量和分层过程
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
16.On-the-Fly Reachability and Cycle Detection for Recursive State Machines

机译：用于递归状态机的可行性可达性和循环检测
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
17.Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking

机译：在常规模型检查中验证具有动态1选择链接结构的程序
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
18.A Generic Theorem Prover of CSP Refinement

机译：CSP细化的通用定理报告
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
19.Time-Efficient Model Checking with Magnetic Disk

机译：磁盘延时模型检查
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
20.Bounded Validity Checking of Interval Duration Logic

机译：间隔持续时间逻辑的有界效力检查
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
21.Algorithmic Verification of Recursive Probabilistic State Machines

机译：递归概率状态机的算法验证
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
22.Mining Temporal Specifications for Error Detection

机译：挖掘时间规范进行错误检测
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
23.Symbolic Test Selection Based on Approximate Analysis

机译：基于近似分析的象征性测试选择
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
24.A Note on On-the-Fly Verification Algorithms

机译：有关现场验证算法的说明
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
25.Temporal Logic for Scenario-Based Specifications

机译：基于场景的规格的时间逻辑
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
26.A New Algorithm for Strategy Synthesis in LTL Games

机译：LTL游戏策略合成的新算法
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
27.DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems

机译：潜水员：基于SAT的模型检查平台，用于验证大型系统
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
28.Localization and Register Sharing for Predicate Abstraction

机译：谓词抽象的本地化和注册分享
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
29.Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

机译：Symstra：使用符号执行生成面向对象单元测试的框架
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
30.Complementation Constructions for Nondeterministic Automata on Infinite Words

机译：无限单词非法定自动机的互补结构
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
31.Empirically Efficient Verification for a Class of Infinite-State Systems

机译：对一类无限状态系统的凭证有效验证
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
32.A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover

机译：一种双层技术，用于在懒洋洋地证明定理典范中支持量化器
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
33.Using BDDs to Decide CTL

机译：使用BDD来决定CTL
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
- CTL;
- satisfiability;
- validity;
- BDDs;
- tableau;
34.Java-MOP: A Monitoring Oriented Programming Environment for Java

机译：Java-MOP：用于Java的监控方向编程环境
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
35.An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation

机译：基于抽象解释的细化算法，适用于强保存
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
36.Context-Bounded Model Checking of Concurrent Software

机译：并发软件的上下文模型检查
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
37.FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

机译：FocusCheck：用于模型检查和调试顺序C程序的工具
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
38.Dependent Types for Program Understanding

机译：依赖类型的程序理解
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
39.Dynamic Symmetry Reduction

机译：减少动态对称性
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
40.BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

机译：Bisimulator：用于禁用等价检查的模块化工具
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
41.Using Language Inference to Verify Omega-Regular Properties

机译：使用语言推理来验证Omega-常规属性
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年
42.Applications of Craig Interpolants in Model Checking

机译：Craig Interpolants在模型检查中的应用
- 会议名称：《International Conference on Tools and Algorithms for the Construction and Analysis of Systems》 | 2005年