掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Computer aided verification
Computer aided verification
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
光盘技术
电脑入门
计算机辅助工程
直通VIP
电脑爱好者
课堂内外·中学生电脑
数码
传感器与微系统
信息与电脑
上海信息化
更多>>
相关外文期刊
Sensors
YAHOO! Internet Life
MacTech magazine
Behaviour & Information Technology
Computers & Chemical Engineering
International journal of actor-network theory and technological innovation
iBusiness Dossier
Information visualization
Information & Management
Autonomous agents and multi-agent systems
更多>>
相关中文会议
第七届中国多智能体系统与控制会议(MASC2011)
第一届中国业务过程管理大会
2012年江苏省计算机学会网络与分布计算专委会和网格与服务计算专委会联合学术年会
中国电子学会数控技术学术研讨会
中国计算机用户协会网络应用分会2010年网络新技术与应用研讨会
第一届中国计算机网络与信息安全学术会议
User Frienly 2014暨UXPA中国第十一届用户体验行业年会
山东省自动化学会学术交流会
全国首届信息系统工程监理学术会议
第四届信息电子与计算机工程国际会议(The 4th International Conference on Information ,Electronic and Computer Science)
更多>>
相关外文会议
Harmonics and Quality of Power Proceedings, 1998. Proceedings
Workshop on semantic parsing 2014
World Congress on Intelligent Control and Automation; 20020610-14; Shanghai(CN)
International Conference on Security & Management(SAM'07); World Congress in Computer Science Computer Engineering, and Applied Computing(WORLDCOMP'07); 20070625-28; 20070625-28; Las Vegas,NV(US); Las Vegas,NV(US)
Intelligence and Security Informatics, 2009. ISI '09
Implementing persistent object bases : Principles and practice
Theory and Applications of Models of Computation
Sixth Workshop on Syntax, Semantics and Structure in Statistical Translation 2012
International Symposium on Knowledge Exploration in Life Science Informatics(KELSI 2004); 20041125-26; Milan(IT)
Domain-specific languages
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
The Spirit of Ghost Code
机译:
幽灵法典精神
作者:
Jean-Christophe Filliatre
;
Leon Gondelman
;
Andrei Paskevich
会议名称:
《Computer aided verification》
|
2014年
2.
Property-Directed Shape Analysis
机译:
属性导向形状分析
作者:
Shachar Itzhaky
;
Nikolaj Bjorner
;
Thomas Reps
;
Mooly Sagiv
;
Aditya Thakur
会议名称:
《Computer aided verification》
|
2014年
3.
Shape Analysis via Second-Order Bi-Abduction
机译:
通过二次绑架进行形状分析
作者:
Quang Loc Le
;
Cristian Gherghina
;
Shengchao Qin
;
Wei-Ngan Chin
会议名称:
《Computer aided verification》
|
2014年
4.
From Invariant Checking to Invariant Inference Using Randomized Search
机译:
从随机检查到使用随机搜索的不变推论
作者:
Rahul Sharma
;
Alex Aiken
会议名称:
《Computer aided verification》
|
2014年
5.
Synthesis of Masking Countermeasures against Side Channel Attacks
机译:
对抗侧信道攻击的掩蔽对策综合
作者:
Hassan Eldib
;
Chao Wang
会议名称:
《Computer aided verification》
|
2014年
6.
String Constraints for Verification
机译:
验证字符串约束
作者:
Parosh Aziz Abdulla
;
Mohamed Faouzi Atig
;
Yu-Fang Chen
;
Lukas Holik
;
Ahmed Rezine
;
Philipp Ruemmer
;
Jari Stenman
会议名称:
《Computer aided verification》
|
2014年
7.
V_(AC) - Verifier of Administrative Role-Based Access Control Policies
机译:
V_(AC)-基于管理角色的访问控制策略的验证者
作者:
Anna Lisa Ferrara
;
P. Madhusudan
;
Truc L. Nguyen
;
Gennaro Parlato
会议名称:
《Computer aided verification》
|
2014年
8.
Engineering a Static Verification Tool for GPU Kernels
机译:
为GPU内核设计静态验证工具
作者:
Ethel Bardsley
;
Adam Betts
;
Nathan Chong
;
Peter Collingbourne
;
Pantazis Deligiannis
;
Alastair F. Donaldson
;
Jeroen Ketema
;
Daniel Liew
;
Shaz Qadeer
会议名称:
《Computer aided verification》
|
2014年
9.
Interpolating Property Directed Reachability
机译:
内插属性定向可达性
作者:
Yakir Vizel
;
Arie Gurfinkel
会议名称:
《Computer aided verification》
|
2014年
10.
Regression Test Selection for Distributed Software Histories
机译:
分布式软件历史的回归测试选择
作者:
Milos Gligoric
;
Rupak Majumdar
;
Rohan Sharma
;
Lamyaa Eloussi
;
Darko Marinov
会议名称:
《Computer aided verification》
|
2014年
11.
Software Verification in the Google App-Engine Cloud
机译:
Google App Engine云中的软件验证
作者:
Dirk Beyer
;
Georg Dresler
;
Philipp Wendler
会议名称:
《Computer aided verification》
|
2014年
12.
Analyzing and Synthesizing Genomic Logic Functions
机译:
分析和综合基因组逻辑功能
作者:
Nicola Paoletti
;
Boyan Yordanov
;
Youssef Hamadi
;
Christoph M. Wintersteiger
;
Hillel Kugler
会议名称:
《Computer aided verification》
|
2014年
13.
Finding Instability in Biological Models
机译:
在生物模型中发现不稳定性
作者:
Byron Cook
;
Jasmin Fisher
;
Benjamin A. Hall
;
Samin Ishtiaq
;
Garvit Juniwal
;
Nir Piterman
会议名称:
《Computer aided verification》
|
2014年
关键词:
Stability;
instability;
verification;
biology;
14.
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions
机译:
钻石是女孩的最好朋友:具有抽象的定时自动机的部分减阶
作者:
Henri Hansen
;
Shang-Wei Lin
;
Yang Liu
;
Truong Khanh Nguyen
;
Jun Sun
会议名称:
《Computer aided verification》
|
2014年
15.
Verifying LTL Properties of Hybrid Systems with K-Liveness
机译:
用K-Liveness验证混合系统的LTL属性
作者:
Alessandro Cimatti
;
Alberto Griggio
;
Sergio Mover
;
Stefano Tonetta
会议名称:
《Computer aided verification》
|
2014年
16.
Minimizing Running Costs in Consumption Systems
机译:
最小化消费系统的运行成本
作者:
Tomas Brazdil
;
David Klaska
;
Antonin Kucera
;
Petr Novotny
会议名称:
《Computer aided verification》
|
2014年
17.
Optimal Guard Synthesis for Memory Safety
机译:
最佳保护综合以提高内存安全性
作者:
Thomas Dillig
;
Isil Dillig
;
Swarat Chaudhuri
会议名称:
《》
|
2014年
18.
Solving Games without Controllable Predecessor
机译:
在没有可控的前辈的情况下解决游戏
作者:
Nina Narodytska
;
Alexander Legg
;
Fahiem Bacchus
;
Leonid Ryzhyk
;
Adam Walker
会议名称:
《Computer aided verification》
|
2014年
19.
Automatic Atomicity Verification for Clients of Concurrent Data Structures
机译:
并发数据结构客户的自动原子性验证
作者:
Mohsen Lesani
;
Todd Millstein
;
Jens Palsberg
会议名称:
《Computer aided verification》
|
2014年
20.
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
机译:
通过惰性序列化的多线程C程序的有界模型检查
作者:
Omar Inverso
;
Ermenegildo Tomasco
;
Bernd Fischer
;
Salvatore La Torre
;
Gennaro Parlato
会议名称:
《Computer aided verification》
|
2014年
21.
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes
机译:
LEAP:用于并行数据类型的参数化验证的工具
作者:
Alejandro Sanchez
;
Cesar Sanchez
会议名称:
《Computer aided verification》
|
2014年
22.
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
机译:
字符串和正则表达式理论的DPLL(T)理论求解器
作者:
Tianyi Liang
;
Andrew Reynolds
;
Cesare Tinelli
;
Clark Barrett
;
Morgan Deters
会议名称:
《Computer aided verification》
|
2014年
23.
Bit-Vector Rewriting with Automatic Rule Generation
机译:
具有自动规则生成的位向量重写
作者:
Alexander Nadel
会议名称:
《Computer aided verification》
|
2014年
24.
AVATAR: The Architecture for First-Order Theorem Provers
机译:
AVATAR:一阶定理证明的体系结构
作者:
Andrei Voronkov
会议名称:
《Computer aided verification》
|
2014年
25.
A Nonlinear Real Arithmetic Fragment
机译:
非线性实数运算片段
作者:
Ashish Tiwari
;
Patrick Lincoln
会议名称:
《Computer aided verification》
|
2014年
26.
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
机译:
用于边界分析和摊余复杂性分析的简单且可扩展的静态分析
作者:
Moritz Sinn
;
Florian Zuleger
;
Helmut Veith
会议名称:
《Computer aided verification》
|
2014年
27.
Proving Non-termination Using Max-SMT
机译:
使用Max-SMT证明不终止
作者:
Daniel Larraz
;
Kaustubh Nimkar
;
Albert Oliveras
;
Enric Rodriguez-Carbonell
;
Albert Rubio
会议名称:
《Computer aided verification》
|
2014年
28.
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)
机译:
归纳指导抽象精炼(CTIGAR)的反例
作者:
Johannes Birgmeier
;
Aaron R. Bradley
;
Georg Weissenbacher
会议名称:
《Computer aided verification》
|
2014年
29.
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
机译:
QUICr:集和数字的参数抽象的可重用库
作者:
Arlen Cox
;
Bor-Yuh Evan Chang
;
Sriram Sankaranarayanan
会议名称:
《Computer aided verification》
|
2014年
30.
Preface
机译:
前言
作者:
Armin Biere
;
Roderick Bloem
会议名称:
《Computer aided verification》
|
2014年
31.
Hardware Model Checking
机译:
硬件型号检查
作者:
Fabio Somenzi
会议名称:
《Computer aided verification》
|
2014年
32.
Automated Testing
机译:
自动化测试
作者:
Rance Cleaveland
会议名称:
《Computer aided verification》
|
2014年
33.
The First Syntax-Guided Synthesis Competition (SyGuS-COMP 2014)
机译:
首届语法指导的综合竞赛(SyGuS-COMP 2014)
作者:
Rajeev Alur
;
Dana Fisman
;
Rishabh Singh
;
Armando Solar-Lezama
会议名称:
《Computer aided verification》
|
2014年
34.
SYNTCOMP -Synthesis Competition for Reactive Systems
机译:
SYNTCOMP-反应系统综合竞赛
作者:
Roderick Bloem
;
Ruediger Ehlers
;
Swen Jacobs
会议名称:
《Computer aided verification》
|
2014年
35.
SMT-Based Model Checking for Recursive Programs
机译:
基于SMT的递归程序模型检查
作者:
Anvesh Komuravelli
;
Arie Gurfinkel
;
Sagar Chaki
会议名称:
《Computer aided verification》
|
2014年
36.
ICE: A Robust Framework for Learning Invariants
机译:
ICE:学习不变式的强大框架
作者:
Pranav Garg
;
Christof Loeding
;
P. Madhusudan
;
Daniel Neider
会议名称:
《Computer aided verification》
|
2014年
37.
SMACK: Decoupling Source Language Details from Verifier Implementations
机译:
SMACK:将源语言详细信息与验证程序实现分离
作者:
Zvonimir Rakamaric
;
Michael Emmi
会议名称:
《Computer aided verification》
|
2014年
38.
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
机译:
临时模式检查,以对隐私策略进行运行时监视
作者:
Omar Chowdhury
;
Limin Jia
;
Deepak Garg
;
Anupam Datta
会议名称:
《Computer aided verification》
|
2014年
关键词:
Mode checking;
runtime monitoring;
metric first-order temporal logic;
privacy policy;
39.
A Conference Management System with Verified Document Confidentiality
机译:
具有经过验证的文件机密性的会议管理系统
作者:
Sudeep Kanav
;
Peter Lammich
;
Andrei Popescu
会议名称:
《Computer aided verification》
|
2014年
40.
From LTL to Deterministic Automata: A Safraless Compositional Approach
机译:
从LTL到确定性自动机:无可挑剔的合成方法
作者:
Javier Esparza
;
Jan Kretinsky
会议名称:
《Computer aided verification》
|
2014年
41.
Symbolic Visibly Pushdown Automata
机译:
符号可见下推自动机
作者:
Loris DAntoni
;
Rajeev Alur
会议名称:
《Computer aided verification》
|
2014年
关键词:
visibly pushdown automata;
symbolic automata;
XML;
42.
Lazy Annotation Revisited
机译:
再探懒惰注释
作者:
Kenneth L. McMillan
会议名称:
《Computer aided verification》
|
2014年
43.
Verifying Relative Error Bounds Using Symbolic Simulation
机译:
使用符号仿真验证相对误差范围
作者:
Jesse Bingham
;
Joe Leslie-Hurd
会议名称:
《Computer aided verification》
|
2014年
44.
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
机译:
基于GPU的图形分解为紧密连接的最大终端组件
作者:
Anton Wijs
;
Joost-Pieter Katoen
;
Dragan Bosnacki
会议名称:
《Computer aided verification》
|
2014年
45.
The nuXmv Symbolic Model Checker
机译:
nuXmv符号模型检查器
作者:
Roberto Cavada
;
Alessandro Cimatti
;
Michele Dorigatti
;
Alberto Griggio
;
Alessandro Mariotti
;
Andrea Micheli
;
Sergio Mover
;
Marco Roveri
;
Stefano Tonetta
会议名称:
《Computer aided verification》
|
2014年
46.
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
机译:
心脏细胞非线性混合自动机网络的不变性验证
作者:
Zhenqi Huang
;
Chuchu Fan
;
Alexandra Mereacre
;
Sayan Mitra
;
Marta Kwiatkowska
会议名称:
《Computer aided verification》
|
2014年
关键词:
Biological networks;
hybrid systems;
invariants;
verification;
47.
Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
机译:
基于符号正交投影的混合系统可达性分析
作者:
Willem Hagemann
会议名称:
《Computer aided verification》
|
2014年
48.
Safraless Synthesis for Epistemic Temporal Specifications
机译:
无知的合成,符合认知的时间规范
作者:
Rodica Bozianu
;
Catalin Dima
;
Emmanuel Filiot
会议名称:
《Computer aided verification》
|
2014年
49.
CEGAR for Qualitative Analysis of Probabilistic Systems
机译:
CEGAR用于概率系统的定性分析
作者:
Krishnendu Chatterjee
;
Martin Chmelik
;
Przemyslaw Daca
会议名称:
《Computer aided verification》
|
2014年
50.
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
机译:
不要坐在栅栏上:自动插入栅栏的静态分析方法
作者:
Jade Alglave
;
Daniel Kroening
;
Vincent Nimal
;
Daniel Poetzl
会议名称:
《Computer aided verification》
|
2014年
51.
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
机译:
MCMAS-SLK:用于验证策略逻辑规范的模型检查器
作者:
Petr Cermak
;
Alessio Lomuscio
;
Fabio Mogavero
;
Aniello Murano
会议名称:
《Computer aided verification》
|
2014年
52.
G4LTL-ST: Automatic Generation of PLC Programs
机译:
G4LTL-ST:自动生成PLC程序
作者:
Chih-Hong Cheng
;
Chung-Hao Huang
;
Harald Ruess
;
Stefan Stattelmann
会议名称:
《Computer aided verification》
|
2014年
关键词:
industrial automation;
synthesis;
theory combination;
assumption generation;
53.
Regression-Free Synthesis for Concurrency
机译:
并发的无回归综合
作者:
Pavol Cerny
;
Thomas A. Henzinger
;
Arjun Radhakrishna
;
Leonid Ryzhyk
;
Thorsten Tarrach
会议名称:
《Computer aided verification》
|
2014年
54.
An SMT-Based Approach to Coverability Analysis
机译:
基于SMT的覆盖率分析方法
作者:
Javier Esparza
;
Ruslan Ledesma-Garza
;
Rupak Majumdar
;
Philipp Meyer
;
Filip Niksic
会议名称:
《Computer aided verification》
|
2014年
55.
Monadic Decomposition
机译:
一元分解
作者:
Margus Veanes
;
Nikolaj Bjorner
;
Lev Nachmanson
;
Sergey Bereg
会议名称:
《Computer aided verification》
|
2014年
56.
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
机译:
两个解算器的故事:对位向量的热切和惰性方法
作者:
Liana Hadarean
;
Kshitij Bansal
;
Dejan Jovanovic
;
Clark Barrett
;
Cesare Tinelli
会议名称:
《Computer aided verification》
|
2014年
57.
Automating Separation Logic with Trees and Data
机译:
使用树和数据自动执行分离逻辑
作者:
Ruzica Piskac
;
Thomas Wies
;
Damien Zufferey
会议名称:
《Computer aided verification》
|
2014年
58.
Yices 2.2
机译:
Yices 2.2
作者:
Bruno Dutertre
会议名称:
《Computer aided verification》
|
2014年
59.
Symbolic Resource Bound Inference for Functional Programs
机译:
功能程序的符号资源绑定推断
作者:
Ravichandhran Madhavan
;
Viktor Kuncak
会议名称:
《Computer aided verification》
|
2014年
60.
Termination Analysis by Learning Terminating Programs
机译:
通过学习终止程序进行终止分析
作者:
Matthias Heizmann
;
Jochen Hoenicke
;
Andreas Podelski
会议名称:
《Computer aided verification》
|
2014年
61.
Causal Termination of Multi-threaded Programs
机译:
因果终止多线程程序
作者:
Andrey Kupriyanov
;
Bernd Finkbeiner
会议名称:
《Computer aided verification》
|
2014年
62.
Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction
机译:
基于近似属性导向的可达性和数据路径抽象的无边界可扩展验证
作者:
Suho Lee
;
Karem A. Sakallah
会议名称:
《Computer aided verification》
|
2014年
63.
Foreword
机译:
前言
作者:
Matthias Baaz
;
Thomas Eiter
;
Helmut Veith
会议名称:
《Computer aided verification》
|
2014年
64.
How Do We Get Inductive Invariants?
机译:
我们如何获得归纳不变式?
作者:
David Monniaux
会议名称:
《Computer aided verification》
|
2014年
65.
Designing and Verifying Molecular Circuits and Systems Made of DNA
机译:
设计和验证DNA构成的分子电路和系统
作者:
Erik Winfree
会议名称:
《Computer aided verification》
|
2014年
66.
Hardware Model Checking Competition CAV 2014 Edition
机译:
硬件模型检查竞赛CAV 2014版
作者:
Armin Biere
;
Keijo Heljanko
会议名称:
《Computer aided verification》
|
2014年
意见反馈
回到顶部
回到首页