掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
团队文献服务
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International symposium on automated technology for verification and analysis
International symposium on automated technology for verification and analysis
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
36
条结果
1.
Probabilistic Programming: A True Verification Challenge
机译:
概率编程:真正的验证挑战
作者:
Joost-Pieter Katoen
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
2.
Machines Reasoning About Machines: 2015
机译:
关于机器的机器推理:2015年
作者:
J Strother Moore
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
3.
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems
机译:
使用SMT求解参数化布尔方程组的片段
作者:
Ruud P.J. Koolen
;
Tim A.C. Willemse
;
Hans Zantema
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
4.
Unfolding-Based Process Discovery
机译:
基于展开的过程发现
作者:
Hernan Ponce-de-Leon
;
Cesar Rodriguez
;
Josep Carmona
;
Keijo Heljanko
;
Stefan Haar
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
5.
Improving Interpolants for Linear Arithmetic
机译:
改进线性算术的插值
作者:
Ernst Althaus
;
Bjoern Beber
;
Joschka Kupilas
;
Christoph Scholl
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
关键词:
Craig-interpolation;
Linear arithmetic;
Satisfiability modulo theory;
Linear programming;
6.
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
机译:
机械检查生成的相关程序的结构化语法差异
作者:
Thibaut Girka
;
David Mentre
;
Yann Regis-Gianas
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
7.
On Automated Lemma Generation for Separation Logic with Inductive Definitions
机译:
具有归纳定义的分离逻辑的自动引理生成
作者:
Constantin Enea
;
Mihaela Sighireanu
;
Zhilin Wu
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
8.
Severity Levels of Inconsistent Code
机译:
不一致代码的严重性级别
作者:
Martin Schaef
;
Ashish Tiwari
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
9.
Learning the Language of Error
机译:
学习错误的语言
作者:
Martin Chapman
;
Hana Chockler
;
Pascal Kesseli
;
Daniel Kroening
;
Ofer Strichman
;
Michael Tautschnig
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
10.
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage
机译:
使用分区和辅助存储的大型MDP显式模型检查
作者:
Arnd Hartmanns
;
Holger Hermanns
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
11.
Model Checking Failure-Prone Open Systems Using Probabilistic Automata
机译:
使用概率自动机进行故障检查开放系统的模型检查
作者:
Yue Ben
;
A. Prasad Sistla
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
关键词:
Model checking;
Verification tool;
Failure-prone open systems;
Emptiness and decision problems;
Hierarchical Probabilistic Automata (HPA);
12.
Optimal Continuous Time Markov Decisions
机译:
最优连续时间马尔可夫决策
作者:
Yuliya Butkova
;
Hassan Hatefi
;
Holger Hermanns
;
Jan Krcal
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
13.
Spanning the Spectrum from Safety to Liveness
机译:
从安全到生机勃勃的频谱
作者:
Rachel Faran
;
Orna Kupferman
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
14.
Marimba: A Tool for Verifying Properties of Hidden Markov Models
机译:
Marimba:一种用于验证隐马尔可夫模型属性的工具
作者:
Noe Hernandez
;
Kerstin Eder
;
Evgeni Magid
;
Jesus Savage
;
David A. Rosenblueth
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
15.
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
机译:
ParaVerifier:用于证明参数化的缓存一致性协议的自动框架
作者:
Yongjian Li
;
Jun Pang
;
Yi Lv
;
Dongrui Fan
;
Shen Cao
;
Kaiqiang Duan
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
16.
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks
机译:
ASSA-PBN:概率布尔网络的近似稳态分析器
作者:
Andrzej Mizera
;
Jun Pang
;
Qixia Yuan
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
17.
EviCheck: Digital Evidence for Android
机译:
EviCheck:适用于Android的数字证据
作者:
Mohamed Nassim Seghir
;
David Aspinall
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
18.
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules
机译:
Lazy-CSeq-SP:通过冗余调度的符号修剪来促进对多线程C程序的基于序列化的验证
作者:
Vladimir Herdt
;
Hoang M. Le
;
Daniel Grosse
;
Rolf Drechsler
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
关键词:
Formal verification;
Concurrency;
Sequentialization;
19.
A Contextual Equivalence Checker for IMJ~*
机译:
IMJ〜*的上下文等效检查器
作者:
Andrzej S. Murawski
;
Steven J. Ramsay
;
Nikos Tzevelekos
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
20.
Trace Diagnostics Using Temporal Implicants
机译:
使用时间含义的跟踪诊断
作者:
Thomas Ferrere
;
Oded Maler
;
Dejan Nickovic
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
21.
Test Case Generation of Actor Systems
机译:
Actor系统的测试案例生成
作者:
Elvira Albert
;
Puri Arenas
;
Miguel Gomez-Zamalloa
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
22.
Lattice-Based Semantics for Combinatorial Model Evolution
机译:
基于格的语义用于组合模型演化
作者:
Rachel Tzoref-Brill
;
Shahar Maoz
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
23.
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)
机译:
使用以后的出现记录(LAR)有效验证复制的数据类型
作者:
Madhavan Mukund
;
Gautham Shenoy R.
;
S.P. Suresh
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
24.
TSO-to-TSO Linearizability Is Undecidable
机译:
TSO到TSO的线性度不确定
作者:
Chao Wang
;
Yi Lv
;
Peng Wu
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
25.
Formal Verification of Infinite-State BIP Models
机译:
无限状态BIP模型的形式验证
作者:
Simon Bliudze
;
Alessandro Cimatti
;
Mohamad Jaber
;
Sergio Mover
;
Marco Roveri
;
Wajeb Saab
;
Qiang Wang
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
26.
PBMC: Symbolic Slicing for the Verification of Concurrent Programs
机译:
PBMC:用于并行程序验证的符号切片
作者:
Habib Saissi
;
Peter Bokor
;
Neeraj Suri
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
27.
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems
机译:
一计数器系统中模型检查分支和交替时间逻辑的复杂性
作者:
Steen Vester
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
28.
Hierarchical Information Patterns and Distributed Strategy Synthesis
机译:
分层信息模式与分布式策略综合
作者:
Dietmar Berwanger
;
Anup Basil Mathew
;
Marie van den Bogaard
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
29.
Cooperative Reactive Synthesis
机译:
协同反应合成
作者:
Roderick Bloem
;
Ruediger Ehlers
;
Robert Koenighofer
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
30.
Game Semantic Analysis of Equivalence in IMJ
机译:
IMJ中等效性的游戏语义分析
作者:
Andrzej S. Murawski
;
Steven J. Ramsay
;
Nikos Tzevelekos
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
31.
Looking at Mean-Payoff Through Foggy Windows
机译:
通过有雾的窗户查看平均支付
作者:
Paul Hunter
;
Guillermo A. Perez
;
Jean-Francois Raskin
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
32.
Bounded Verification with On-the-Fly Discrepancy Computation
机译:
动态差异计算的有界验证
作者:
Chuchu Fan
;
Sayan Mitra
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
33.
Formal Verification of Simulink/Stateflow Diagrams
机译:
Simulink /状态流程图的形式验证
作者:
Liang Zou
;
Naijun Zhan
;
Shuling Wang
;
Martin Fraenzle
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
关键词:
Simulink/Stateflow;
Formal verification;
Hybrid CSP;
Hybrid Hoare Logic;
34.
Decidability of the Reachability for a Family of Linear Vector Fields
机译:
一族线性向量场的可达性的判定性
作者:
Ting Gan
;
Mingshuai Chen
;
Liyun Dai
;
Bican Xia
;
Naijun Zhan
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
关键词:
Tarski's algebra;
Polynomial-exponential function;
Reachability;
Real root isolation;
Cylindrical Algebraic Decomposition (CAD);
35.
Stochastic Local Search for Falsification of Hybrid Systems
机译:
混合系统伪造的随机局部搜索
作者:
Jyotirmoy Deshmukh
;
Xiaoqing Jin
;
James Kapinski
;
Oded Maler
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
36.
Preface
机译:
前言
作者:
Bernd Finkbeiner
;
Geguang Pu
;
Lijun Zhang
会议名称:
《International symposium on automated technology for verification and analysis》
|
2015年
上一页
1
下一页
意见反馈
回到顶部
回到首页