首页>外文会议>其他>Tools and algorithms for the construction and analysis of systems.

Tools and algorithms for the construction and analysis of systems.

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata

机译：VATA：高效处理非确定性树自动机的图书馆
- 作者：Ondrej Lengal;Jiri Simacek;Tomas Vojnar
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
2.LTL to Buechi Automata Translation: Fast and More Deterministic

机译：从LTL到Buechi自动机翻译：更快，更确定
- 作者：Tomas Babiak;Mojmir Kretinsky;Vojtech Rehak;Jan Strejcek
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
3.Numeric Bounds Analysis with Conflict-Driven Learning

机译：冲突驱动学习的数值边界分析
- 作者：Vijay DSilva;Leopold Haller;Daniel Kroening;Michael Tautschnig
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
4.History-Aware Data Structure Repair Using SAT

机译：使用SAT的历史感知数据结构修复
- 作者：Razieh Nokhbeh Zaeem;Divya Gopinath;Sarfraz Khurshid;Kathryn S. McKinley
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
5.The Guardol Language and Verification System

机译：Guardol语言和验证系统
- 作者：David Hardin;Konrad Slind;Michael Whalen;Tuan-Hung Pham
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
6.A Bit Too Precise? Bounded Verification of Quantized Digital Filters

机译：太精确了吗？量化数字滤波器的边界验证
- 作者：Aden Cox;Sriram Sankaranarayanan;Bor-Yuh Evan Chang
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
7.Aspect-Oriented Runtime Monitor Certification

机译：面向方面的运行时监视器认证
- 作者：Kevin W. Hamlen;Micah M. Jones;Meera Sridhar
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
- abstract interpretation;
- in-lined reference monitors;
- model checking;
- security;
8.Pushdown Model Checking for Malware Detection

机译：下推模型检查以检测恶意软件
- 作者：Fu Song;Tayssir Touili
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
9.Predicate Analysis with BLAST 2.7 (Competition Contribution)

机译：使用BLAST 2.7（竞争贡献）进行谓词分析
- 作者：Pavel Shved;Mikhail Mandrykin;Vadim Mutilin
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
10.Proving Reachability Using FShell

机译：使用FShell证明可达性
- 作者：Andreas Holzer;Daniel Kroening;Christian Schallhart;Michael Tautschnig;Helmut Veith
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
11.SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications

机译：SLMC：用于根据动态空间逻辑规范对并发系统进行模型检查的工具
- 作者：Luis Caires;Hugo Torres Vieira
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
12.Demonstrating Learning of Register Automata

机译：演示注册自动机的学习
- 作者：Maik Merten;Falk Howar;Bernhard Steffen;Sofia Cassel;Bengt Jonsson
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
13.Bounded Phase Analysis of Message-Passing Programs

机译：消息传递程序的有界相位分析
- 作者：Ahmed Bouajjani;Michael Emmi
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
14.Coupling and Importance Sampling for Statistical Model Checking

机译：统计模型检查的耦合和重要性抽样
- 作者：Benoit Barbot;Serge Haddad;Claudine Picaronny
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
- statistical model checking;
- rare events;
- importance sam pling;
- coupling;
15.Automatic Verification of Competitive Stochastic Systems

机译：自动验证竞争性随机系统
- 作者：Taolue Chen;Vojtech Forejt;Marta Kwiatkowska;David Parker;Aistis Simaitis
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
16.Compositional Termination Proofs for Multi-threaded Programs

机译：多线程程序的组合终止证明
- 作者：Corneliu Popeea;Andrey Rybalchenko
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
17.HSF(C): A Software Verifier Based on Horn Clauses

机译：HSF（C）：基于Horn子句的软件验证器
- 作者：Sergey Grebenshchikov;Ashutosh Gupta;Nuno P. Lopes;Corneliu Popeea;Andrey Rybalchenko
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
18.Modeling and Verification of a Dual Chamber Implantable Pacemaker

机译：双腔植入式起搏器的建模与验证
- 作者：Zhihao Jiang;Miroslav Pajic;Salar Moarref;Rajeev Alur;Rahul Mangharam
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
- medical devices;
- implantable pacemaker;
- software verifi cation;
- cyber-physical systems;
19.Counter-Example Guided Fence Insertion under TSO

机译：TSO下的反例引导式栅栏插入
- 作者：Parosh Aziz Abdulla;Mohamed Faouzi Atig;Yu-Fang Chen;Carl Leonardsson;Ahmed Rezine
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
20.TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

机译：TAPAAL 2.0：定时弧Petri网的集成开发环境
- 作者：Alexandre David;Lasse Jacobsen;Morten Jacobsen;Kenneth Yrke Jorgensen;Mikael H. Moller;Jiri Srba
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
21.Block Abstraction Memoization for CPAchecker

机译：CPAchecker的块抽象记忆
- 作者：Daniel Wonisch
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
22.Verifying pCTL Model Checking

机译：验证pCTL模型检查
- 作者：Johannes Hoelzl;Tobias Nipkow
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
23.Ramsey-Based Analysis of Parity Automata

机译：基于Ramsey的奇偶校验自动机分析
- 作者：Oliver Friedmann;Martin Lange
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
24.Quantitative Models for a Not So Dumb Grid

机译：不太笨的网格的定量模型
- 作者：Holger Hermanns
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
25.Automated Analysis of AODV Using UPPAAL

机译：使用UPPAAL自动分析AODV
- 作者：Ansgar Fehnker;Rob van Glabbeek;Peter Hoefner;Annabelle Mclver;Marius Portmann;Wee Lum Tan
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
26.Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems

机译：使用标记的过渡系统和布尔方程组的网络进行局部模型检查
- 作者：Frederic Lang;Radu Mateescu
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
27.From Under-Approximations to Over-Approximations and Back

机译：从近似逼近到近似逼近
- 作者：Aws Albarghouthi;Arie Gurfinkel;Marsha Chechik
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
28.A Platform for High Performance Statistical Model Checking - PLASMA

机译：高性能统计模型检查平台-PLASMA
- 作者：Cyrille Jegourel;Axel Legay;Sean Sedwards
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
29.QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification

机译：QuteRTL：面向RTL设计综合和验证的开源框架
- 作者：Hu-Hsi Yeh;Cheng-Yin Wu;Chung-Yang (Ric) Huang
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
- synthesis;
- verification;
- open source;
- framework;
30.Symbolic Automata: The Toolkit

机译：象征性自动机：工具包
- 作者：Margus Veanes;Nikolaj Bjorner
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
31.McScM: A General Framework for the Verification of Communicating Machines

机译：McScM：通信机器验证的通用框架
- 作者：Alexander Heussner;Tristan Le Gall;Gregoire Sutre
- 会议名称：《》 | 2012年
32.Reachability under Contextual Locking

机译：上下文锁定下的可达性
- 作者：Rohit Chadha;P. Madhusudan;Mahesh Viswanathan
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
33.Zeno: An Automated Prover for Properties of Recursive Data Structures

机译：Zeno：递归数据结构属性的自动证明
- 作者：William Sonnex;Sophia Drossopoulou;Susan Eisenbach
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
34.A Proof Assistant for Alloy Specifications

机译：合金规格的证明助手
- 作者：Mattias Ulbrich;Ulrich Geilmann;Aboubakr Achraf El Ghazi;Mana Taghdiri
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
35.CPAchecker with Adjustable Predicate Analysis (Competition Contribution)

机译：带有可调整谓词分析的CPAchecker（竞争贡献）
- 作者：Stefan Loewe;Philipp Wendler
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
36.Parameterized Synthesis

机译：参数化综合
- 作者：Swen Jacobs;Roderick Bloem
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
37.Template-Based Controller Synthesis for Timed Systems

机译：定时系统的基于模板的控制器综合
- 作者：Bernd Finkbeiner;Hans-Joerg Peter
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
38.Context-Bounded Model Checking with ESBMC 1.17

机译：使用ESBMC 1.17进行上下文绑定的模型检查
- 作者：Lucas Cordeiro;Jeremy Morse;Denis Nicole;Bernd Fischer
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
39.Competition on Software Verification (SV-COMP)

机译：软件验证竞赛（SV-COMP）
- 作者：Dirk Beyer
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
40.Minimal Critical Subsystems for Discrete-Time Markov Models

机译：离散马尔可夫模型的最小临界子系统
- 作者：Ralf Wimmer;Nils Jansen;Erika Abraham;Bernd Becker;Joost-Pieter Katoen
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
41.The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

机译：AVANTSSAR平台，用于面向服务的体系结构的信任和安全性的自动验证
- 作者：Alessandro Armando;Wihem Arsac;Tigran Avanesov;Michele Barletta;Alberto Calvi;Alessandro Cappai;Roberto Carbone;Yannick Chevalier;Luca Compagna;Jorge Cuellar;Gabriel Erzse;Simone Frau;Marius Minea;Sebastian Moedersheim;David von Oheimb;Giancarlo Pellegrin
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
42.Deciding Conditional Termination

机译：确定有条件的终止
- 作者：Marius Bozga;Radu Iosif;Filip Konescny
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
43.Reduction-Based Formal Analysis of BGP Instances

机译：基于还原的BGP实例形式化分析
- 作者：Anduo Wang;Carolyn Talcott;Alexander J.T. Gurney;Boon Thau Loo;Andre Scedrov
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
44.Wolverine: Battling Bugs with Interpolants

机译：金刚狼：与插值战斗Bug
- 作者：Georg Weissenbacher;Daniel Kroening;Sharad Malik
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
45.LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation

机译：LLBMC：LLVM中间表示的绑定模型检查器
- 作者：Carsten Sinz;Florian Merz;Stephan Falke
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
46.Predator: A Verification Tool for Programs with Dynamic Linked Data Structures

机译：捕食者：具有动态链接数据结构的程序的验证工具
- 作者：Kamil Dudka;Petr Mueller;Petr Peringer;Tomas Vojnar
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
47.Java Memory Model-Aware Model Checking

机译：Java内存模型感知模型检查
- 作者：Huafeng Jin;Tuba Yavuz-Kahveci;Beverly A. Sanders
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年
- model checking;
- relaxed memory model;
- benign data races;
48.SatAbs: A Bit-Precise Verifier for C Programs

机译：SatAbs：用于C程序的位精确验证器
- 作者：Gerard Basler;Alastair Donaldson;Alexander Kaiser;Daniel Kroening;Michael Tautschnig;Thomas Wahl
- 会议名称：《Tools and algorithms for the construction and analysis of systems.》 | 2012年