首页>外文会议>Conference on Formal Methods in Computer-Aided Design

Conference on Formal Methods in Computer-Aided Design

召开年：2015
召开地：Austin, TX(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Proving hybrid systems

机译：验证混合系统
- 作者：Andre Platzer
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Vehicle dynamics;
- Heuristic algorithms;
- Tutorials;
- Robots;
- Atmospheric modeling;
- Mathematical model;
2.Formal verification of arithmetic datapaths using algebraic geometry and symbolic computation

机译：使用代数几何和符号计算形式对算术数据路径进行形式验证
- 作者：Priyank Kalla
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Geometry;
- Tutorials;
- Mathematical model;
- Algebra;
- Complexity theory;
- Algorithm design and analysis;
- Signal processing algorithms;
3.Better lemmas with lambda extraction

机译：使用lambda提取更好的引理
- 作者：Mathias Preiner;Aina Niemetz;Armin Biere
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Indexes;
- Arrays;
- Benchmark testing;
- Standards;
- Libraries;
- Merging;
- Cognition;
4.CAQE: A Certifying QBF Solver

机译：CAQE：合格的QBF解算器
- 作者：Markus N. Rabe;Leander Tentrup
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Scalability;
- Complexity theory;
- Concrete;
- Collaboration;
- Complex systems;
- Syntactics;
- Grammar;
5.Difference constraints: an adequate abstraction for complexity analysis of imperative programs

机译：差异约束：命令式程序复杂性分析的适当抽象
- 作者：Moritz Sinn;Florian Zuleger;Helmut Veith
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Algorithm design and analysis;
- Complexity theory;
- Analytical models;
- Radiation detectors;
- Standards;
- Cognition;
- Upper bound;
6.Simulation graphs for reverse engineering

机译：逆向工程的仿真图
- 作者：Mathias Soeken;Baruch Sterin;Rolf Drechsler;Robert Brayton
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Integrated circuit modeling;
- Boolean functions;
- Libraries;
- Adders;
- Logic gates;
- Labeling;
- Reverse engineering;
7.Template-based synthesis of instruction-level abstractions for SoC verification

机译：基于模板的指令级抽象综合，用于SoC验证
- 作者：Pramod Subramanyan;Yakir Vizel;Sayak Ray;Sharad Malik
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Hardware;
- Registers;
- Computer bugs;
- Cryptography;
- Microprogramming;
- Radiation detectors;
- Integrated circuits;
8.Reactive synthesis

机译：反应合成
- 作者：Roderick Bloem
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Tutorials;
- Design tools;
- Complexity theory;
- Pragmatics;
9.Abductive inference and its applications in program analysis, verification, and synthesis

机译：归纳推理及其在程序分析，验证和综合中的应用
- 作者：Isil Dillig
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Tutorials;
- Cognition;
- Inference algorithms;
- Algorithm design and analysis;
- Context;
10.Democratization of formal verification with collective intelligence

机译：借助集体智慧使形式验证民主化
- 作者：Ziyad Hanna
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Scalability;
- Complexity theory;
- Productivity;
- Expert systems;
- Design methodology;
- Industries;
11.Detecting hardware trojans: a tale of two techniques

机译：检测硬件木马：两种技术的故事
- 作者：Sharad Malik
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Trojan horses;
- Integrated circuits;
- Hardware;
- Clustering algorithms;
- Algorithm design and analysis;
- Functional analysis;
- Statistical analysis;
12.The genesis and development of model checking: fact vs. fiction

机译：模型检查的起源和发展：事实与虚构
- 作者：Allen Emerson
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Model checking;
- Protocols;
- Technological innovation;
- History;
- Brushes;
- Synchronization;
- Skeleton;
13.The FMCAD 2015 graduate student forum

机译：FMCAD 2015研究生论坛
- 作者：Georg Weissenbacher
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Model checking;
- Hardware;
- Software;
- Concurrent computing;
- Security;
- Engineering profession;
- Cognition;
14.Verification of cache coherence protocols wrt. trace filters

机译：验证缓存一致性协议。跟踪过滤器
- 作者：Parosh Aziz Abdulla;Mohamed Faouzi Atig;Zeinab Ganjeiy;Ahmed Reziney;Yunyun Zhu
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Coherence;
- Protocols;
- Acceleration;
- Hardware;
- Model checking;
- Automata;
- Pattern matching;
15.Compositional reasoning gotchas in practice

机译：实践中的组成推理陷阱
- 作者：Chirag Agarwal;Paul Hylander;Yogesh Mahajan;Jonathan Michelson;Vigyan Singhal
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Cognition;
- Safety;
- Model checking;
- Contracts;
- Hardware;
- Semantics;
- System recovery;
16.Universal boolean functional vectors

机译：通用布尔函数向量
- 作者：Jesse Bingham
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Boolean functions;
- Hardware;
- Binary decision diagrams;
- Runtime;
- Labeling;
- Electronic mail;
17.Compositional safety verification with Max-SMT

机译：使用Max-SMT进行成分安全性验证
- 作者：Marc Brockschmidt;Daniel Larra;Albert Oliveras;Enric Rodrıguez-Carbonell;Albert Rubio
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Safety;
- Cognition;
- Software;
- Context;
- Cost accounting;
- Contracts;
- Engines;
18.Formal verification of automatic circuit transformations for fault-tolerance

机译：形式验证自动电路转换的容错能力
- 作者：Dmitry Burlyaev;Pascal Fradet
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Logic gates;
- Semantics;
- Plugs;
- Circuit faults;
- Fault tolerance;
- Fault tolerant systems;
- Integrated circuit modeling;
19.An SMT-based approach to fair termination analysis

机译：基于SMT的公平终止分析方法
- 作者：Javier Esparza;Philipp J. Meyer
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Petri nets;
- Safety;
- Electronic mail;
- Automata;
- Concurrent computing;
- Programming;
- Software;
20.Compositional recurrence analysis

机译：成分复发分析
- 作者：Azadeh Farzan;Zachary Kincaid
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Semantics;
- Algebra;
- Sequential analysis;
- Mathematical model;
- Algorithm design and analysis;
- Automata;
- Reactive power;
21.Pushing to the top

机译：推到顶部
- 作者：Alexander Ivrii;Arie Gurfinkel
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Optimization;
- Algorithm design and analysis;
- Model checking;
- Cognition;
- Software engineering;
- Terminology;
- Benchmark testing;
22.Skolem functions for factored formulas

机译：因子公式的Skolem函数
- 作者：Ajith K. John;Shetal Shah;Supratik Chakraborty;Ashutosh Trivedi;S. Akshay
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Games;
- Sequential circuits;
- Scalability;
- Benchmark testing;
- Cost accounting;
- Process control;
- Optimal control;
23.Theory-aided model checking of concurrent transition systems

机译：并发过渡系统的理论辅助模型检查
- 作者：Guy Katz;Clark Barrett;David Harel
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Model checking;
- Synchronization;
- Concurrent computing;
- Space exploration;
- Programming;
- Safety;
- Software;
24.Compositional verification of procedural programs using horn clauses over integers and arrays

机译：使用整数和数组上的horn子句对过程程序进行组成验证
- 作者：Anvesh Komuravelli;Nikolaj Bjorner;Arie Gurfinkel;Kenneth L. Mcmillan
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Indexes;
- Adaptation models;
- Benchmark testing;
- Model checking;
- Software;
- Software engineering;
- Computational modeling;
25.IC3 software model checking on control flow automata

机译：控制流自动机的IC3软件模型检查
- 作者：Tim Lange;Martin R. Neuhauber;Thomas Noll
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Software;
- Model checking;
- Automata;
- Reactive power;
- Hardware;
- Aerospace electronics;
- Indexes;
26.Accelerating invariant generation

机译：加速不变式生成
- 作者：Kumar Madhukar;Bjorn Wachter;Daniel Kroening;Matt Lewis;Mandayam Srivas
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Acceleration;
- Interpolation;
- Algorithm design and analysis;
- Software;
- Electronic mail;
- Safety;
- Benchmark testing;
27.Comparing different functional allocations in automated air traffic control design

机译：比较自动空中交通管制设计中的不同功能分配
- 作者：Cristian Mattarei;Alessandro Cimatti;Marco Gario;Stefano Tonetta;Kristin Y. Rozier
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Aircraft;
- Safety;
- Analytical models;
- Resource management;
- Atmospheric modeling;
- NASA;
- Collision avoidance;
28.Transaction flows and executable models: formalization and analysis of message-passing protocols

机译：事务流和可执行模型：消息传递协议的形式化和分析
- 作者：Muralidhar Talupur;Sandip Ray;John Erickson
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Protocols;
- Solid modeling;
- Analytical models;
- Computational modeling;
- Coherence;
- Syntactics;
- Microwave integrated circuits;
29.Pattern-based synthesis of synchronization for the C++ memory model

机译：C ++内存模型的基于模式的同步综合
- 作者：Yuri Meshman;Noam Rinetzky;Eran Yahav
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2015年
- Synchronization;
- Space exploration;
- Instruction sets;
- Load modeling;
- Radio frequency;
- Buffer storage;
- Safety;
30.Data Mining Based Decomposition for Assume-Guarantee Reasoning

机译：基于数据挖掘的假设保障推理的分解
- 作者：He Zhu;Fei He;William N. N. Hung;Xiaoyu Song;Ming Gu
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
31.Connecting Pre-silicon and Post-silicon Verification

机译：连接硅预硅和硅后验证
- 作者：Sandip Ray;Warren A. Hunt Jr.
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
32.Industrial Strength Refinement Checking

机译：工业实力改进检查
- 作者：Jesse Bingham;John Erickson;Gaurav Singh;Flemming Andersen
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
33.Towards A Formally Verified Network-on-Chip

机译：迈向正式验证的片上
- 作者：Tom van den Broek;Julien Schmaltz
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
34.Hardware/Software Co-verification of Cryptographic Algorithms using Cryptol

机译：使用Cryptol的硬件/软件共同验证加密算法
- 作者：Levent Erkok;Magnus Carlsson;Adam Wick
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
- Specification and Verification;
- Equivalence checking;
- HW/SW Co-verification;
- Cryptography;
35.MCC: A runtime verification tool for MCAPI user applications

机译：MCC：MCAPI用户应用程序的运行时验证工具
- 作者：Subodh Sharma;Ganesh Gopalakrishnan;Eric Mercer;Jim Holt
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
36.Retiming and Resynthesis with Sweep Are Complete for Sequential Transformation

机译：用扫描的重新定向和重新合作是完整的连续转换
- 作者：Hai Zhou
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
37.Formal Verification of Correctness and Performance of Random Priority-based Arbiters

机译：正式验证基于随机优先级的仲裁者的正确性和性能
- 作者：Krishnan Kailas;Viresh Paruthi;Brian Monwai
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
38.SAT-based Synthesis of Clock Gating Functions Using 3-Valued Abstraction

机译：基于SAT的时钟门控功能的合成，使用3值抽象
- 作者：Eli Arbel;Oleg Rokhlenko;Karen Yorav
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
39.Safety First: A Two-Stage Algorithm for LTL Games

机译：安全第一：用于LTL游戏的两阶段算法
- 作者：Saqib Sohail;Fabio Somenzi
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
40.Generalized, Efficient Array Decision Procedures

机译：广义，高效的阵列决策程序
- 作者：Leonardo de Moura;Nikolaj Bjorner
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
41.Decision Diagrams for Linear Arithmetic

机译：线性算术的决策图
- 作者：Sagar Chaki;Arie Gurfinkel;Ofer Strichman
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
42.Verification of Recursive Methods on Tree-like Data Structures

机译：验证在树状数据结构上的递归方法
- 作者：Jyotirmoy Deshmukh;E. Allen Emerson
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
43.A Verified Platform for a Gate-Level Electronic Control Unit

机译：门级电子控制单元的验证平台
- 作者：Sergey Tverdyshev
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
44.Efficient Decision Procedure for Non-linear Arithmetic Constraints using CORDIC

机译：使用CORDIC的非线性算术约束的有效决策过程
- 作者：Malay K. Ganai;Franjo Ivancic
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
45.Debugging Formal Specifications Using Simple Counterstrategies

机译：使用简单的辅助商品调试正式规格
- 作者：Robert Konighofer;Georg Hofferek;Roderick Bloem
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
46.Interpolation-Sequence Based Model Checking

机译：基于插值序列的模型检查
- 作者：Yakir Vizel;Orna Grumberg
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
47.Synthesizing Robust Systems

机译：合成强大的系统
- 作者：Roderick Bloem;Karin Greimel;Thomas A. Henzinger;Barbara Jobstmann
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
48.Finding heap-bounds for hardware synthesis

机译：找到硬件合成的堆边界
- 作者：B. Cook;A. Gupta;S. Magill;A. Rybalchenko;J. Simsa;S. Singh;V. Vafeiadis
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
49.Scalable Conditional Equivalence Checking: An Automated Invariant-Generation Based Approach

机译：可扩展的条件等价检查：基于自动的不变生成的方法
- 作者：Jason Baumgartner;Hari Mony;Michael Case;Jun Sawada;Karen Yorav
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
50.Mixed Abstractions for Floating-Point Arithmetic

机译：浮点算术的混合抽象
- 作者：Angelo Brillout;Daniel Kroening;Thomas Wahl
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
51.Verifying Equivalence of Memories Using a First Order Logic Theorem Prover

机译：使用一阶逻辑定理先词验证存储器的等价
- 作者：Zurab Khasidashvili;Mahmoud Kinanah;Andrei Voronkov
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
52.Scaling VLSI Design Debugging with Interpolation

机译：使用插值进行扩展VLSI设计调试
- 作者：Brian Keng;Andreas Veneris
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
53.Formal Verification of Analog Designs using MetiTarski

机译：使用METITarski进行模拟设计的正式验证
- 作者：William Denman;Behzad Akbarpour;Sofiene Tahar;Mohamed H. Zaki;Lawrence C. Paulson
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
54.Assume-Guarantee Validation for STE Properties within an SVA Environment

机译：假设 - SVA环境中的STE属性验证
- 作者：Zurab Khasidashvili;Gavriel Gavrielov;Tom Melham
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
55.Enhanced Verification by Temporal Decomposition

机译：通过时间分解提高验证
- 作者：Michael L. Case;Hari Mony;Jason Baumgartner;Robert Kanzelman
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
56.Structure-Aware Computation of Predicate Abstraction

机译：谓词抽象的结构感知计算
- 作者：Alessandro Cimatti;Jori Dubrovin;Tommi Junttila;Marco Roveri
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
57.A Compositional Theory for Post-Reboot Observational Equivalence Checking of Hardware

机译：硬件重启后观测到等效检查的组成理论
- 作者：Zurab Khasidashvili;Daher Kaiss;Doron Bustan
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
58.Software Model Checking via Large-Block Encoding

机译：通过大块编码的软件模型检查
- 作者：Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu;Roberto Sebastiani
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
59.Protocol verification using flows: An industrial experience

机译：使用流量的协议验证：工业经验
- 作者：John OLeary;Murali Talupur;Mark R. Tuttle
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2009年
60.Author index

机译：作者索引
- 作者：{missing}
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
61.Achieving earlier verification closure using advanced formal verification

机译：使用先进的正式验证实现早期验证关闭
- 作者：Siegel Michael
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
62.Embedded systems design — Scientific challenges and work directions

机译：嵌入式系统设计 - 科学挑战和工作方向
- 作者：Sifakis Joseph
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
63.Copyright page

机译：版权页面
- 作者：{missing}
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
64.DFT logic verification through property based formal methods — SOC to IP

机译：通过基于财产的形式方法 - SoC到IP的DFT逻辑验证
- 作者：Sen Lopamudra;Roy Amit;Bhattacharjee Supriya;Mittra Bijitendra;Roy Subir K.
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
- DFT Logic;
- Formal Verification;
- SOC Integration;
65.PINCETTE — Validating changes and upgrades in networked software

机译：Pincette - 验证网络软件中的更改和升级
- 作者：Chockler Hana
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
66.Impacting verification closure using formal analysis

机译：使用正式分析影响验证闭合
- 作者：Roselli Massimo
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
67.Dimensions in program synthesis

机译：尺寸在程序合成中
- 作者：Gulwani Sumit
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
68.Verifying SystemC: A software model checking approach

机译：验证systemc：一种软件模型检查方法
- 作者：Cimatti Alessandro;Micheli Andrea;Narasamdya Iman;Roveri Marco
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
69.Predicate abstraction with adjustable-block encoding

机译：可调节块编码的谓词抽象
- 作者：Beyer Dirk;Keremoglu M. Erkan;Wendler Philipp
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
70.Path predicate abstraction by complete interval property checking

机译：通过完整的间隔属性检查路径谓词抽象
- 作者：Urdahl Joakim;Stoffel Dominik;Bormann Jorg;Wedler Markus;Kunz Wolfgang
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
71.Automatic inference of memory fences

机译：内存围栏的自动推理
- 作者：Kuperstein Michael;Vechev Martin;Yahav Eran
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
72.Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems

机译：整合ICP和LRRA求解器决定非线性实际算术问题
- 作者：Gao Sicun;Ganai Malay;Ivancic Franjo;Gupta Aarti;Sankaranarayanan Sriram;Clarke Edmund M.
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
73.Incremental component-based construction and verification using invariants

机译：基于组件的增量构建和使用不变性的验证
- 作者：Bensalem Saddek;Bozga Marius;Legay Axel;Nguyen Thanh-Hung;Sifakis Joseph;Yan Rongjie
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
74.CalCS: SMT solving for non-linear convex constraints

机译：计算：用于非线性凸起约束的SMT求解
- 作者：Nuzzo Pierluigi;Puggelli Alberto;Seshia Sanjit A.;Sangiovanni-Vincentelli Alberto
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
75.A halting algorithm to determine the existence of decoder

机译：暂停算法，用于确定解码器的存在
- 作者：Shen ShengYu;Qin Ying;Zhang JianMin;Li SiKun
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
- Complementary Synthesis;
- Halting Algorithm;
76.Boosting minimal unsatisfiable core extraction

机译：提高最小不可挑离的核心提取
- 作者：Nadel Alexander
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
77.Boosting multi-core reachability performance with shared hash tables

机译：通过共享哈希表提高多核可达性性能
- 作者：Laarman Alfons;van de Pol Jaco;Weber Michael
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
78.Synthesis for regular specifications over unbounded domains

机译：在无限域上常规规范的合成
- 作者：Hamza Jad;Jobstmann Barbara;Kuncak Viktor
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
79.Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers

机译：应对Moore的法律（和更多）：在最先进的模型跳棋中支持阵列
- 作者：Baumgartner Jason;Case Michael;Mony Hari
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2010年
80.Hardware model checking: Status, challenges, and opportunities

机译：硬件模型检查：状态，挑战和机遇
- 作者：Talupur Muralidhar
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
81.Pervasive formal verification in control system design

机译：控制系统设计中的普遍验证
- 作者：Pike Lee
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
82.Specification based testing with QuickCheck

机译：基于规格的QuickCheck测试
- 作者：Hughes John
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
83.Verifying concurrent programs

机译：验证并发计划
- 作者：Gupta Aarti
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
84.The role of human creativity in mechanized verification

机译：人类创造力在机械化验证中的作用
- 作者：Moore J. Strother
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
85.Self-timing: A step beyond synchrony

机译：自我时间：超越同步的步骤
- 作者：Sutherland Ivan
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
86.Post-silicon fault localisation using maximum satisfiability and backbones

机译：使用最大可满足性和骨架的硅片故障定位
- 作者：Zhu Charlie Shucheng;Weissenbacher Georg;Malik Sharad
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
87.Accelerating MUS extraction with recursive model rotation

机译：通过递归模型旋转加速亩提取
- 作者：Belov Anton;Marques-Silva Joao
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
88.Static scheduling of Latency Insensitive Designs with Lucy-n

机译：LUCY-N延迟不敏感设计的静态调度
- 作者：Mandel Louis;Plateau Florence;Pouzet Marc
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
89.Algebraic approach to arithmetic design verification

机译：算术设计验证的代数方法
- 作者：Basith Mohamed Abdul;Ahmad Tariq;Rossi Andre;Ciesielski Maciej
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
- Arithmetic bit level;
- Equivalence checking;
- Formal verification;
- SMT;
90.Pseudo-Boolean Solving by incremental translation to SAT

机译：通过增量翻译解决伪布尔的解决
- 作者：Manolios Panagiotis;Papavasileiou Vasilis
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
91.IC3: Where monolithic and incremental meet

机译：IC3：单片和增量符合的地方
- 作者：Somenzi Fabio;Bradley Aaron R.
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
92.Approximate reachability with combined symbolic and ternary simulation

机译：象征性和三元仿真组合的近似可达性
- 作者：Case Michael;Baumgartner Jason;Mony Hari;Kanzelman Robert
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
93.Optimal redundancy removal without fixedpoint computation

机译：没有固定点计算的最佳冗余删除
- 作者：Case Michael;Baumgartner Jason;Mony Hari;Kanzelman Robert
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
94.Formal analysis of fractional order systems in HOL

机译：HOL中分数级系统的正式分析
- 作者：Siddique Umair;Hasan Osman
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
95.Desynchronization: Design for verification

机译：Desynchronization：验证设计
- 作者：Srinivasan Sudarshan K.;Katti Raj S.
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
96.Realtime regular expressions for analog and mixed-signal assertions

机译：用于模拟和混合信号断言的实时正则表达式
- 作者：Havlicek John;Little Scott
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
97.Hybrid verification of a hardware modular reduction engine

机译：硬件模块化减少发动机的混合验证
- 作者：Sawada Jun;Sandon Peter;Paruthi Viresh;Baumgartner Jason;Case Michael;Mony Hari
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
98.Automated specification analysis using an interactive theorem prover

机译：使用互动定理箴言自动规范分析
- 作者：Chamarthi Harsh Raju;Manolios Panagiotis
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
99.Planning for end-to-end formal using simulation-based coverage

机译：使用基于模拟的覆盖范围的终端正式规划
- 作者：Aggarwal Prashant;Chu Darrow;Kadamby Vijay;Singhal Vigyan
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年
100.Proving and explaining the unfeasibility of Message Sequence Charts for hybrid systems

机译：证明和解释混合系统消息序列图表的不可行
- 作者：Cimatti Alessandro;Mover Sergio;Tonetta Stefano
- 会议名称：《Conference on Formal Methods in Computer-Aided Design》 | 2011年