掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on NASA Formal Methods
International Symposium on NASA Formal Methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
SMT-Based Analysis of Biological Computation
机译:
基于SMT的生物计算分析
作者:
Boyan Yordanov
;
Christoph M. Wintersteiger
;
Youssef Hamadi
;
Hillel Kugler
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
2.
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing
机译:
使用模型检查来揭示篡改的脆弱性
作者:
Rody Kersten
;
Bernard van Gastel
;
Manu Drijvers
;
Sjaak Smetsers
;
Marko van Eekelen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Security;
Model-checking;
Spin;
Wi-Fi Protected Setup;
Tamper-Evident Pairing;
3.
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
机译:
祝福:用软件嵌入式系统的正式规范和验证
作者:
Brian R. Larson
;
Patrice Chalin
;
John Hatcliff
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
4.
Formal Stability Analysis of Optical Resonators
机译:
光学谐振器的正式稳定性分析
作者:
Umair Siddique
;
Vincent Aravantinos
;
Sofiene Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
5.
Numerical Abstract Domain Using Support Functions
机译:
使用支持功能的数字抽象域
作者:
Yassamine Seladji
;
Olivier Bouissou
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
6.
Automatically Detecting Inconsistencies in Program Specifications
机译:
自动检测程序规范中的不一致
作者:
Aditi Tagore
;
Bruce W. Weide
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
7.
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
机译:
用数值方法封闭动态系统的时间演变
作者:
Olivier Bouissou
;
Alexandre Chapoutot
;
Adel Djoudi
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
8.
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory
机译:
具有施加到量子理论的无限尺寸线性空间的形式化
作者:
Mohamed Yousri Mahmoud
;
Vincent Aravantinos
;
Sofiène Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
definitions;
applications;
multiplication;
9.
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
机译:
概率定量分析概率 - 写入/复制 - 选择
作者:
Christel Baier
;
Benjamin Engel
;
Sascha Klüppelholz
;
Steffen M?rcker
;
Hendrik Tews
;
Marcus V?lp
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
races;
guarantees;
operations;
10.
Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution
机译:
使用模型检查和符号执行自动验证教堂程序
作者:
Timothy K. Zirkel
;
Stephen F. Siegel
;
Timothy McClory
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
representation;
execution;
programs;
11.
Statistical Model Checking of Wireless Mesh Routing Protocols
机译:
无线网状路由协议的统计模型检查
作者:
Peter H?fner
;
Annabelle McIver
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
evaluation;
networks;
nodes;
12.
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
机译:
设计一个僵局的火车调度程序:模型检查方法
作者:
Franco Mazzanti
;
Giorgio Oronzo Spagnolo
;
Alessio Ferrari
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
13.
REFINER: Towards Formal Verification of Model Transformations
机译:
炼油厂:用于正式验证模型转换
作者:
Anton Wijs
;
Luc Engelen
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
semantics;
preservation;
transformations;
14.
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
机译:
嵌入式系统中数值支持功能的自动化测试用例
作者:
Johann Schumann
;
Stefan-Alexander Schneider
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
deepening;
testing;
illustrate;
15.
Combining PVSio with Stateflow
机译:
将pvsio与eventflow结合起来
作者:
Paolo Masci
;
Yi Zhang
;
Paul Jones
;
Patrick Oladimeji
;
Enrico DUrso
;
Cinzia Bernardeschi
;
Paul Curzon
;
Harold Thimbleby
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Stateflow;
exchange;
demonstrated;
16.
Testing-Based Compiler Validation for Synchronous Languages
机译:
基于测试的同步语言的编译器验证
作者:
Pierre-Loic Garoche
;
Falk Howar
;
Temesghen Kahsai
;
Xavier Thirioux
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
17.
Memory Efficient Data Structures for Explicit Verification of Timed Systems
机译:
记忆有效的数据结构,用于明确验证定时系统
作者:
Peter Gj?l Jensen
;
Kim Guldstrand Larsen
;
Ji?í Srba
;
Mathias Grund S?rensen
;
Jakob Haar Taankvist
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
exploration;
constants;
lowering;
18.
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving
机译:
通过定性抽象和自动定理来验证非生物混合系统
作者:
William Denman
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
19.
Combining PVSio with Stateflow
机译:
将pvsio与eventflow结合起来
作者:
Paolo Masci
;
Yi Zhang
;
Paul Jones
;
Patrick Oladimeji
;
Enrico DUrso
;
Cinzia Bernardeschi
;
Paul Curzon
;
Harold Thimbleby
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Simulation;
PVSio;
Stateflow;
20.
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
机译:
设计一个僵局的火车调度程序:模型检查方法
作者:
Franco Mazzanti
;
Giorgio Oronzo Spagnolo
;
Alessio Ferrari
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
occurrence;
deadlocks;
verification;
21.
Providing Early Warnings of Specification Problems
机译:
提供提前警告的规范问题
作者:
Dustin Hoffman
;
Aditi Tagore
;
Diego Zaccai
;
Bruce W. Weide
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
engineer;
Humans;
capable;
22.
Providing Early Warnings of Specification Problems
机译:
提供提前警告的规范问题
作者:
Dustin Hoffman
;
Aditi Tagore
;
Diego Zaccai
;
Bruce W. Weide
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
23.
Memory Efficient Data Structures for Explicit Verification of Timed Systems
机译:
记忆有效的数据结构,用于明确验证定时系统
作者:
Peter Gjol Jensen
;
Kim Guldstrand Larsen
;
Jiri Srba
;
Mathias Grund Sorensen
;
Jakob Haar Taankvist
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
24.
Verifying Nonpolynomial Hybrid Systems by Qualitative Abstraction and Automated Theorem Proving
机译:
通过定性抽象和自动定理来验证非生物混合系统
作者:
William Denman
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
methods;
automatically;
nonpolynomial;
25.
REFINER: Towards Formal Verification of Model Transformations
机译:
炼油厂:用于正式验证模型转换
作者:
Anton Wijs
;
Luc Engelen
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
26.
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
机译:
嵌入式系统中数值支持功能的自动化测试用例
作者:
Johann Schumann
;
Stefan-Alexander Schneider
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
27.
Testing-Based Compiler Validation for Synchronous Languages
机译:
基于测试的同步语言的编译器验证
作者:
Pierre-Lo?c Garoche
;
Falk Howar
;
Temesghen Kahsai
;
Xavier Thirioux
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
synchronous;
languages;
providing;
28.
Incremental Verification of Compiler Optimizations*
机译:
编译器优化的增量验证*
作者:
Grigory Fedyukovich
;
Arie Gurfinkel
;
Natasha Sharygina
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
optimization;
optimized;
verification;
29.
Incremental Verification of Compiler Optimizations
机译:
增量验证编译器优化
作者:
Grigory Fedyukovich
;
Arie Gurfinkel
;
Natasha Sharygina
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
30.
Energy-Utility Quantiles
机译:
能量效用量
作者:
Christel Baier
;
Marcus Daum
;
Clemens Dubslaff
;
Joachim Klein
;
Sascha Klüppelholz
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
reachability;
programming;
energy;
31.
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
机译:
领导选举:工业SOS应用组成死锁验证
作者:
Pedro R.G. Antonino
;
Marcel Medeiros Oliveira
;
Augusto C.A. Sampaio
;
Klaus E. Kristensen
;
Jeremy W. Bryans
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Leadership Election;
Local Analysis;
Deadlock Freedom;
32.
Refinement Types for TLA+
机译:
tla +的细化类型
作者:
Stephan Merz
;
Hernán Vanzetto
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
obtain;
annotations;
untyped;
33.
Verification of Certifying Computations through AutoCorres and Simpl
机译:
通过自氧化物和简化验证认证计算
作者:
Lars Noschinski
;
Christine Rizkallah
;
Kurt Mehlhorn
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
34.
Using Lightweight Theorem Proving in an Asynchronous Systems Context
机译:
在异步系统上下文中使用轻量级定理
作者:
Matthew Danish
;
Hongwei Xi
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
communication;
programming;
dependent;
35.
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
机译:
领导选举:工业SOS应用组成死锁验证
作者:
Pedro R. G. Antonino
;
Marcel Medeiros Oliveira
;
Augusto C. A. Sampaio
;
Klaus E. Kristensen
;
Jeremy W. Bryans
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Leadership Election;
Local Analysis;
Deadlock Freedom;
36.
Formal Verification of kLIBC with the WP Frama-C Plug-in
机译:
用WP FRAMA-C插件进行KLIBC的正式验证
作者:
Nuno Carvalho
;
Cristiano da Silva Sousa
;
Jorge Sousa Pinto
;
Aaron Tomb
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
direction;
focusing;
properties;
37.
Refinement Types for TLA~+
机译:
TLA〜+的细化类型
作者:
Stephan Merz
;
Hernan Vanzetto
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
38.
JKelloy: A Proof Assistant for Relational Specifications of Java Programs
机译:
JKELLOY:验证助手,用于Java程序的关系规范
作者:
Aboubakr Achraf El Ghazi
;
Mattias Ulbrich
;
Christoph Gladisch
;
Shmuel Tyszberowicz
;
Mana Taghdiri
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
First-order relational logic;
Relational specification;
Alloy;
Java;
Theorem proving;
KeY;
39.
JKelloy: A Proof Assistant for Relational Specifications of Java Programs
机译:
JKELLOY:验证助手,用于Java程序的关系规范
作者:
Aboubakr Achraf El Ghazi
;
Mattias Ulbrich
;
Christoph Gladisch
;
Shmuel Tyszberowicz
;
Mana Taghdiri
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
first-order relational logic;
relational specification;
Alloy;
Java;
theorem proving;
KeY.;
40.
Qed. Computing What Remains to Be Proved
机译:
QED。计算有什么要证明的
作者:
Loic Correnson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
41.
On the Quantum Formalization of Coherent Light in HOL
机译:
关于HOL相干光的量子形式化
作者:
Mohamed Yousri Mahmoud
;
Sofiene Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Quantum optics;
Fock states;
Coherent states;
Infinite summation;
Theorem proving;
HOL-Light;
42.
Qed. Computing What Remains to Be Proved
机译:
QED。计算有什么要证明的
作者:
Lo?c Correnson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
propose;
framework;
obligations;
43.
DO-333 Certification Case Studies
机译:
DO-333认证案例研究
作者:
Darren Cofer
;
Steven Miller
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Formal methods;
Certification;
Model checking;
Theorem proving;
Abstract interpretation;
44.
A Compositional Monitoring Framework for Hard Real-Time Systems
机译:
硬实时系统的组成监测框架
作者:
Andre de Matos Pedro
;
David Pereira
;
Luis Miguel Pinho
;
Jorge Sousa Pinto
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
45.
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels
机译:
Warps和原子:超越屏障同步在GPU内核的验证中
作者:
Ethel Bardsley
;
Alastair F. Donaldson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
46.
On Proving Recoverability of Smart Electrical Grids
机译:
关于证明智能电网的可回收性
作者:
Seppo Horsmanheimo
;
Maryam Kamali
;
Mikko Kolehmainen
;
Mats Neovius
;
Luigia Petre
;
Mauno R?nkk?
;
Petter Sandvik
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
recovered;
provability;
construction;
47.
The Gradual Verifier
机译:
渐进的验证者
作者:
Stephan Arlt
;
Cindy Rubio-Gonzalez
;
Philipp Rummer
;
Martin Schaf
;
Natarajan Shankar
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
48.
On the Quantum Formalization of Coherent Light in HOL
机译:
关于HOL相干光的量子形式化
作者:
Mohamed Yousri Mahmoud
;
Sofiène Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Quantum optics;
Fock states;
Coherent states;
Infinite summation;
Theorem proving;
HOL-Light.;
49.
Distinguishing Sequences for Partially Specified FSMs
机译:
区分序列部分指定的FSMS
作者:
Robert M. Hierons
;
Uraz Cengiz Turker
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
50.
Energy-Utility Quantiles
机译:
能量效用量
作者:
Christel Baier
;
Marcus Daum
;
Clemens Dubslaff
;
Joachim Klein
;
Sascha Kluppelholz
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
51.
Synthesizing Predicates from Abstract Domain Losses
机译:
从抽象域损失中合成谓词
作者:
Bogdan Mihaila
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
valuations;
common;
augment;
52.
Verifying Hybrid Systems Involving Transcendental Functions
机译:
验证涉及超越功能的混合系统
作者:
Paul Jackson
;
Andrew Sogokon
;
James Bridge
;
Lawrence Paulson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
53.
Verifying Hybrid Systems Involving Transcendental Functions
机译:
验证涉及超越功能的混合系统
作者:
Paul Jackson
;
Andrew Sogokon
;
James Bridge
;
Lawrence Paulson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
hybrid;
functions;
solutions;
54.
Formal Verification of kLIBC with the WP Frama-C Plug-in
机译:
用WP FRAMA-C插件进行KLIBC的正式验证
作者:
Nuno Carvalho
;
Cristiano da Silva Sousa
;
Jorge Sousa Pinto
;
Aaron Tomb
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
55.
On Proving Recoverability of Smart Electrical Grids
机译:
关于证明智能电网的可回收性
作者:
Seppo Horsmanheimo
;
Maryam Kamali
;
Mikko Kolehmainen
;
Mats Neovius
;
Luigia Petre
;
Mauno Ronkko
;
Petter Sandvik
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
56.
A Compositional Monitoring Framework for Hard Real-Time Systems
机译:
硬实时系统的组成监测框架
作者:
André de Matos Pedro
;
David Pereira
;
Luís Miguel Pinho
;
Jorge Sousa Pinto
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
systems;
introduces;
include;
57.
Mechanized, Compositional Verification of Low-Level Code
机译:
机械化,低级代码的组成验证
作者:
Bj?rn Bartels
;
Nils J?hnig
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
termination;
established;
possibly;
58.
Warps and Atomics: Beyond Barrier Synchronization in the Verification of GPU Kernels
机译:
Warps和原子:超越屏障同步在GPU内核的验证中
作者:
Ethel Bardsley
;
Alastair F. Donaldson
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
synchronization;
synchronization;
architectures;
59.
Using Lightweight Theorem Proving in an Asynchronous Systems Context
机译:
在异步系统上下文中使用轻量级定理
作者:
Matthew Danish
;
Hongwei Xi
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
60.
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations
机译:
常微分方程解决方案的正式验证计算
作者:
Fabian Immler
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Numerical Analysis;
Ordinary Differential Equation;
Theorem Proving;
Interactive Theorem Proving;
61.
Synthesizing Predicates from Abstract Domain Losses
机译:
从抽象域损失中合成谓词
作者:
Bogdan Mihaila
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
62.
Verification of Certifying Computations through AutoCorres and Simpl
机译:
通过自氧化物和简化验证认证计算
作者:
Lars Noschinski
;
Christine Rizkallah
;
Kurt Mehlhorn
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
performing;
connectedness;
Isabelle;
63.
The Gradual Verifier
机译:
渐进的验证者
作者:
Stephan Arlt
;
Cindy Rubio-González
;
Philipp Rümmer
;
Martin Sch?f
;
Natarajan Shankar
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
verification;
intermediate;
unreachable;
64.
A Synthesized Algorithm for Interactive Consistency
机译:
交互式一致性合成算法
作者:
Adrià Gascón
;
Ashish Tiwari
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
algorithm;
asymmetric;
assumption;
65.
Distinguishing Sequences for Partially Specified FSMs
机译:
区分序列部分指定的FSMS
作者:
Robert M. Hierons
;
Uraz Cengiz Türker
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Adaptive;
paper;
polynomial;
66.
DO-333 Certification Case Studies
机译:
DO-333认证案例研究
作者:
Darren Cofer
;
Steven Miller
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Formal methods;
certification;
model checking;
theorem proving;
abstract interpretation.;
67.
Mechanized, Compositional Verification of Low-Level Code
机译:
机械化,低级代码的组成验证
作者:
Bjorn Bartels
;
Nils Jahnig
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
68.
A Synthesized Algorithm for Interactive Consistency
机译:
交互式一致性合成算法
作者:
Adria Gascon
;
Ashish Tiwari
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
69.
Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations
机译:
常微分方程解决方案的正式验证计算
作者:
Fabian Immler
会议名称:
《International Symposium on NASA Formal Methods》
|
2014年
关键词:
Numerical Analysis;
Ordinary Differential Equation;
Theorem Proving;
Interactive Theorem Proving.;
70.
Developing Verified Software Using Leon
机译:
使用莱昂开发已验证的软件
作者:
Viktor Kuncak
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
71.
A Tool for Intersecting Context-Free Grammars and Its Applications
机译:
交叉无背景语法及其应用的工具
作者:
Graeme Gange
;
Jorge A. Navas
;
Peter Schachte
;
Harald Sondergaard
;
Peter J. Stuckey
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
72.
Practical Formal Verification of Domain-Specific Language Applications
机译:
实际正式验证域特定语言应用程序
作者:
Greg Eakman
;
Howard Reubenstein
;
Tom Hawkins
;
Mitesh Jain
;
Panagiotis Manolios
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
73.
Data Model Bugs
机译:
数据模型错误
作者:
Ivan Bocic
;
Tevfik Bultan
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
74.
Generalizing a Mathematical Analysis Library in Isabelle/HOL
机译:
在Isabelle / Hol中概括了数学分析库
作者:
Jesus Aransay
;
Jose Divason
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
关键词:
Theorem proving;
Isabelle/HOL;
Type classes;
Linear Algebra;
75.
Reporting Races in Dynamic Partial Order Reduction
机译:
动态部分顺序减少报告种族
作者:
Olli Saarikivi
;
Keijo Heljanko
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
关键词:
Race detection;
Partial order reduction;
C++;
Java;
DPOR;
76.
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata
机译:
UFIT:一种用于在UPPAAL定时自动机中建模故障的工具
作者:
Reza Hajisheykhi
;
Ali Ebnenasir
;
Sandeep S. Kulkarni
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
77.
Blocked Literals Are Universal
机译:
被封锁的文字是普遍的
作者:
Marijn J. H. Heule
;
Martina Seidl
;
Armin Biere
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
78.
A Benchmark Suite for Hybrid Systems Reachability Analysis
机译:
用于混合系统的基准套件可达性分析
作者:
Xin Chen
;
Stefan Schupp
;
Ibtissem Ben Makhlouf
;
Erika Abraham
;
Goran Frehse
;
Stefan Kowalewski
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
79.
Predicting and Witnessing Data Races Using CSP
机译:
使用CSP预测和见证数据竞争
作者:
Luis M. Carril
;
Walter F. Tichy
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
关键词:
Data race;
Concurrent programs;
Debug;
CSP;
80.
Moving Fast with Software Verification
机译:
快速移动软件验证
作者:
Cristiano Calcagno
;
Dino Distefano
;
Jeremy Dubreil
;
Dominik Gabi
;
Pieter Hooimeijer
;
Martino Luca
;
Peter OHearn
;
Irene Papakonstantinou
;
Jim Purbrick
;
Dulma Rodriguez
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
81.
A Falsification View of Success Typing
机译:
成功键入的伪造视图
作者:
Robert Jakob
;
Peter Thiemann
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
82.
Conflict-Directed Graph Coverage
机译:
冲突的图表覆盖范围
作者:
Daniel Schwartz-Narbonne
;
Martin Schaf
;
Dejan Jovanovic
;
Philipp Rummer
;
Thomas Wies
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
83.
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
机译:
我们到了吗?确定正式要求和测试套件的充分性
作者:
Anitha Murugesan
;
Michael W. Whalen
;
Neha Rungta
;
Oksana Tkachuk
;
Suzette Person
;
Mats P. E. Heimdahl
;
Dongjiang You
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
84.
Sum of Abstract Domains
机译:
抽象域的总和
作者:
Gianluca Amato
;
Simone Di Nardo Di Maio
;
Francesca Scozzari
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
85.
Partial Order Reduction and Symmetry with Multiple Representatives
机译:
多个代表的部分顺序减少和对称性
作者:
Dragan Bosnacki
;
Mark Scheffer
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
86.
Reachability Preservation Based Parameter Synthesis for Timed Automata
机译:
基于可达性保存的定时自动机的参数合成
作者:
Etienne Andre
;
Giuseppe Lipari
;
Hoang Gia Nguyen
;
Youcheng Sun
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
87.
Verified ROS-Based Deployment of Platform-Independent Control Systems
机译:
验证了基于ROS的平台独立控制系统的部署
作者:
Wenrui Meng
;
Junkil Park
;
Oleg Sokolsky
;
Stephanie Weirich
;
Insup Lee
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
88.
Reachability Analysis Using Extremal Rates
机译:
使用极值速率的可达性分析
作者:
Andrew N. Fisher
;
Chris J. Myers
;
Peng Li
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
关键词:
Range of rates;
LPNs;
Zones;
Difference bound matrices;
89.
A Little Language for Testing
机译:
一点点测试语言
作者:
Alex Groce
;
Jervis Pinto
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
90.
Formal API Specification of the PikeOS Separation Kernel
机译:
Pikeos分离内核的正式API规范
作者:
Freek Verbeek
;
Oto Havle
;
Julien Schmaltz
;
Sergey Tverdyshev
;
Holger Blasum
;
Bruno Langenstein
;
Werner Stephan
;
Burkhart Wolff
;
Yakoub Nemouchi
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
91.
Practical Partial Order Reduction for CSP
机译:
CSP的实用部分顺序减少
作者:
Thomas Gibson-Robinson
;
Henri Hansen
;
A. W. Roscoe
;
Xu Wang
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
92.
A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios
机译:
结合用例建模和事故情景的严格方法
作者:
Rajiv Murali
;
Andrew Ireland
;
Gudmund Grov
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
关键词:
Formal modelling;
Use cases;
Hazard analysis;
Model based;
Refinement;
Event-B;
93.
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models
机译:
自动无冲突并发执行定时组件的模型
作者:
Ahlem Triki
;
Borzoo Bonakdarpour
;
Jacques Combaz
;
Saddek Bensalem
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
94.
A Greedy Approach for the Efficient Repair of Stochastic Models
机译:
随机模型有效修复的贪婪方法
作者:
Shashank Pathak
;
Erika Abraham
;
Nils Jansen
;
Armando Tacchella
;
Joost-Pieter Katoen
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
95.
Towards Realizability Checking of Contracts Using Theories
机译:
实现使用理论的可实现性检查
作者:
Andrew Gacek
;
Andreas Katis
;
Michael W. Whalen
;
John Backes
;
Darren Cofer
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
96.
Timely Rollback: Specification and Verification
机译:
及时回滚:规范和验证
作者:
Martin Abadi
;
Michael Isard
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
97.
Shape Analysis with Connectors
机译:
带连接器的形状分析
作者:
Holger Siegel
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
98.
Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification
机译:
将SMT与定理集成,证明了模拟/混合信号电路验证
作者:
Yan Peng
;
Mark Greenstreet
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
99.
Compositional Verification of Parameterised Timed Systems
机译:
参数化定时系统的组成验证
作者:
Lacramioara Astefanoaei
;
Souha Ben Rayana
;
Saddek Bensalem
;
Marius Bozga
;
Jacques Combaz
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
100.
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems
机译:
高效指导杂交系统时间特性的指导策略
作者:
Tommaso Dreossi
;
Thao Dang
;
Alexandre Donze
;
James Kapinski
;
Xiaoqing Jin
;
Jyotirmoy V. Deshmukh
会议名称:
《International Symposium on NASA Formal Methods》
|
2015年
意见反馈
回到顶部
回到首页