掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
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年
2.
Developing Verified Software Using Leon
机译:
使用Leon开发经过验证的软件
作者:
Viktor Kuncak
会议名称:
《International symposium on NASA formal methods》
|
2015年
3.
Timely Rollback: Specification and Verification
机译:
及时回滚:规范和验证
作者:
Martin Abadi
;
Michael Isard
会议名称:
《International symposium on NASA formal methods》
|
2015年
4.
Sum of Abstract Domains
机译:
抽象域之和
作者:
Gianluca Amato
;
Simone Di Nardo Di Maio
;
Francesca Scozzari
会议名称:
《International symposium on NASA formal methods》
|
2015年
5.
Reachability Preservation Based Parameter Synthesis for Timed Automata
机译:
定时自动机基于可达性保留的参数综合
作者:
Etienne Andre
;
Giuseppe Lipari
;
Hoang Gia Nguyen
;
Youcheng Sun
会议名称:
《International symposium on NASA formal methods》
|
2015年
6.
Compositional Verification of Parameterised Timed Systems
机译:
参数化定时系统的组成验证
作者:
Lacramioara Astefanoaei
;
Souha Ben Rayana
;
Saddek Bensalem
;
Marius Bozga
;
Jacques Combaz
会议名称:
《International symposium on NASA formal methods》
|
2015年
7.
Requirements Analysis of a Quad-Redundant Flight Control System
机译:
四冗余飞行控制系统的需求分析
作者:
John Backes
;
Darren Cofer
;
Steven Miller
;
Michael W. Whalen
会议名称:
《International symposium on NASA formal methods》
|
2015年
8.
Partial Order Reduction and Symmetry with Multiple Representatives
机译:
具有多个代表的偏序约简和对称
作者:
Dragan Bosnacki
;
Mark Scheffer
会议名称:
《International symposium on NASA formal methods》
|
2015年
9.
Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks
机译:
有损网格网络中Ad Hoc路由协议的统计模型检查
作者:
Alice Dal Corso
;
Damiano Macedonio
;
Massimo Merro
会议名称:
《International symposium on NASA formal methods》
|
2015年
10.
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年
11.
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections
机译:
通过迭代不变注射进行一阶传递闭合公理化
作者:
Aboubakr Achraf El Ghazi
;
Mana Taghdiri
;
Mihai Herda
会议名称:
《International symposium on NASA formal methods》
|
2015年
关键词:
First-order relational logic;
Transitive closure;
Axiomatization;
Specification;
Verification;
Alloy;
SMT solving;
12.
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;
13.
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年
14.
Practical Partial Order Reduction for CSP
机译:
CSP的实用部分订单减少
作者:
Thomas Gibson-Robinson
;
Henri Hansen
;
A.W. Roscoe
;
Xu Wang
会议名称:
《International symposium on NASA formal methods》
|
2015年
15.
A Little Language for Testing
机译:
一点测试语言
作者:
Alex Groce
;
Jervis Pinto
会议名称:
《International symposium on NASA formal methods》
|
2015年
16.
Detecting MPI Zero Buffer Incompatibility by SMT Encoding
机译:
通过SMT编码检测MPI零缓冲区不兼容
作者:
Yu Huang
;
Eric Mercer
会议名称:
《International symposium on NASA formal methods》
|
2015年
关键词:
MPI;
SMT;
Message Passing;
17.
A Falsification View of Success Typing
机译:
伪造成功打字观点
作者:
Robert Jakob
;
Peter Thiemann
会议名称:
《International symposium on NASA formal methods》
|
2015年
18.
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年
19.
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;
20.
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年
21.
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年
22.
Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification
机译:
将SMT与定理整合在一起以进行模拟/混合信号电路验证
作者:
Yan Peng
;
Mark Greenstreet
会议名称:
《International symposium on NASA formal methods》
|
2015年
23.
Conflict-Directed Graph Coverage
机译:
冲突导向图覆盖
作者:
Daniel Schwartz-Narbonne
;
Martin Schaef
;
Dejan Jovanovic
;
Philipp Ruemmer
;
Thomas Wies
会议名称:
《International symposium on NASA formal methods》
|
2015年
24.
Shape Analysis with Connectors
机译:
连接器的形状分析
作者:
Holger Siegel
;
Axel Simon
会议名称:
《International symposium on NASA formal methods》
|
2015年
25.
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年
26.
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年
27.
Data Model Bugs
机译:
数据模型错误
作者:
Ivan Bocic
;
Tevfik Bultan
会议名称:
《International symposium on NASA formal methods》
|
2015年
28.
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;
29.
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年
30.
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;
31.
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年
32.
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年
33.
Blocked Literals Are Universal
机译:
被阻止的文字是普遍的
作者:
Marijn J.H. Heule
;
Martina Seidl
;
Armin Biere
会议名称:
《International symposium on NASA formal methods》
|
2015年
34.
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年
35.
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;
36.
Preface
机译:
前言
作者:
Klaus Havelund
;
Gerard Holzmann
;
Rajeev Joshi
会议名称:
《International symposium on NASA formal methods》
|
2015年
37.
Preface
机译:
前言
作者:
Aaron Dutle
;
Cesar Munoz
;
Anthony Narkawicz
会议名称:
《International symposium on NASA formal methods》
|
2018年
38.
Towards a Formal Safety Framework for Trajectories
机译:
走向正式的轨迹安全框架
作者:
Marco A. Feliu
;
Mariano M. Moscato
会议名称:
《International symposium on NASA formal methods》
|
2018年
39.
The Use of Automated Theory Formation in Support of Hazard Analysis
机译:
使用自动理论形成支持危害分析
作者:
Andrew Ireland
;
Maria Teresa Llano
;
Simon Colton
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Formal methods;
Verification;
Hazard analysis;
40.
Twenty Percent and a Few Days - Optimising a Bitcoin Majority Attack
机译:
20%和几天 - 优化比特币大多数攻击
作者:
Ansgar Fehnker
;
Kaylash Chaudhary
会议名称:
《International symposium on NASA formal methods》
|
2018年
41.
MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems
机译:
Modes3:基于模型的智能和安全网络系统的演示器
作者:
Andras Voeroes
;
Marton Bur
;
Istvan Rath
;
Akos Horvath
;
Zoltan Micskei
;
Laszlo Balogh
;
Balint Hegyi
;
Benedek Horvath
;
Zsolt Mazlo
;
Daniel Varro
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Smart cyber-physical systems Model-driven engineering;
Formal methods;
Education Demonstrator;
42.
Don't Miss the End: Preventing Unsafe End-of-File Comparisons
机译:
不要错过终点:阻止不安全的文件结束比较
作者:
Charles Zhuo Chen
;
Werner Dietl
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Software security;
Static analysis;
Java type system CERT rules;
Practice;
43.
Experience Report: Application of Falsification Methods on the UxAS System
机译:
经验报告:伪造方法在UXAS系统上的应用
作者:
Cumhur Erkan Tuncali
;
Bardh Hoxha
;
Guohui Ding
;
Georgios Fainekos
;
Sriram Sankaranarayanan
会议名称:
《International symposium on NASA formal methods》
|
2018年
44.
Verification of Fault-Tolerant Protocols with Sally
机译:
用莎莉验证容错协议
作者:
Bruno Dutertre
;
Dejan Jovanovic
;
Jorge A. Navas
会议名称:
《International symposium on NASA formal methods》
|
2018年
45.
An Efficient Rewriting Framework for Trace Coverage of Symmetric Systems
机译:
对称系统跟踪覆盖的有效重写框架
作者:
Flavio M. De Paula
;
Arvind Haran
;
Brad Bingham
会议名称:
《International symposium on NASA formal methods》
|
2018年
46.
Output Range Analysis for Deep Feedforward Neural Networks
机译:
深馈神经网络的输出范围分析
作者:
Souradeep Dutta
;
Susmit Jha
;
Sriram Sankaranarayanan
;
Ashish Tiwari
会议名称:
《International symposium on NASA formal methods》
|
2018年
47.
An Executable Formal Framework for Safety-Critical Human Multitasking
机译:
安全 - 批判性人类多任务处理的可执行形式框架
作者:
Giovanna Breccia
;
Paolo Milazzo
;
Peter Csaba OElveczky
会议名称:
《International symposium on NASA formal methods》
|
2018年
48.
Incremental Construction of Realizable Choreographies
机译:
可实现的编织的增量施工
作者:
Sarah Benyagoub
;
Meriem Ouederni
;
Yamine Aiet-Ameur
;
Atif Mashkoor
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Realisability;
Conversation protocols Correct-by-construction method proof and refinement;
Event-B;
49.
Model-Based Testing for General Stochastic Time
机译:
基于模型的一般随机时间测试
作者:
Marcus Gerhold
;
Arnd Hartmanns
;
Marieelle Stoelinga
会议名称:
《International symposium on NASA formal methods》
|
2018年
50.
Optimal Storage of Combinatorial State Spaces
机译:
组合状态空间的最佳存储
作者:
Alfons Laarman
会议名称:
《International symposium on NASA formal methods》
|
2018年
51.
Using Test Ranges to Improve Symbolic Execution
机译:
使用测试范围提高符号执行
作者:
Rui Qiu
;
Sarfraz Khurshid
;
Corina S. Pasareanu
;
Junye Wen
;
Guowei Yang
会议名称:
《International symposium on NASA formal methods》
|
2018年
52.
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables
机译:
使用历史变量更简单的规格和分布式算法的更容易证明
作者:
Saksham Chand
;
Yanhong A. Liu
会议名称:
《International symposium on NASA formal methods》
|
2018年
53.
Distributed Model Checking Using ProB
机译:
分布式模型检查使用prob
作者:
Philipp Koerner
;
Jens Bendisposto
会议名称:
《International symposium on NASA formal methods》
|
2018年
54.
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking
机译:
使用定理的整合和模型检查的正式动态故障树分析
作者:
Yassmeen Elderhalli
;
Osman Hasan
;
Waqar Ahmad
;
Sofiene Tahar
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Dynamic fault trees;
Theorem proving;
Model checking HOL4;
STORM;
55.
On the Timed Analysis of Big-Data Applications
机译:
关于大数据应用的定时分析
作者:
Francesco Marconi
;
Giovanni Quattrocchi
;
Luciano Baresi
;
Marcello M. Bersani
;
Matteo Rossi
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Big-Data Applications;
Metric temporal logic Formal verification;
Apache Spark;
56.
Strategy Synthesis for Autonomous Agents Using PRISM
机译:
使用棱镜的自主代理策略合成
作者:
Ruben Giaquinta
;
Ruth Hoffmann
;
Murray Ireland
;
Alice Miller
;
Gethin Norman
会议名称:
《International symposium on NASA formal methods》
|
2018年
57.
Model-Checking Task Parallel Programs for Data-Race
机译:
模型检查任务并行数据进行数据竞争
作者:
Radha Nakade
;
Eric Mercer
;
Peter Aldous
;
Jay McCarthy
会议名称:
《International symposium on NASA formal methods》
|
2018年
58.
Formal Assurance for Cooperative Intelligent Autonomous Agents
机译:
合作智能自治代理的正式保证
作者:
Siddhartha Bhattacharyya
;
Thomas C. Eskridge
;
Natasha A. Neogi
;
Marco Carvalho
;
Milton Stafford
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Formal verification;
Intelligent agents Human-machine teams;
59.
Static Value Analysis of Python Programs by Abstract Interpretation
机译:
用抽象解释Python计划的静态价值分析
作者:
Aymeric Fromherz
;
Abdelraouf Ouadjaout
;
Antoine Mine
会议名称:
《International symposium on NASA formal methods》
|
2018年
60.
Symbolic Execution and Reachability Analysis Using Rewriting Modulo SMT for Spatial Concurrent Constraint Systems with Extrusion
机译:
使用挤出的空间并发约束系统重写模拟SMT符号执行和可达性分析
作者:
Miguel Romero
;
Camilo Rocha
会议名称:
《International symposium on NASA formal methods》
|
2018年
61.
Automatic Generation of DO-178 Test Procedures
机译:
自动生成DO-178测试程序
作者:
Cesar Ochoa Escudero
;
Remi Delmas
;
Thomas Bochot
;
Matthieu David
;
Virginie Wiels
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Software testing;
Domain-specific language Synchronous observers;
Model-checking;
62.
Certified Foata Normalization for Generalized Traces
机译:
通用痕迹认证的FOATA标准化
作者:
Hendrik Maarand
;
Tarmo Uustalu
会议名称:
《International symposium on NASA formal methods》
|
2018年
63.
Sound Black-Box Checking in the LearnLib
机译:
在Learnlib中进行声音黑匣子检查
作者:
Jeroen Meijer
;
Jaco van de Pol
会议名称:
《International symposium on NASA formal methods》
|
2018年
64.
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C
机译:
列出的幽灵:在弗拉马-c中验证的contiki的关键模块
作者:
Allan Blanchard
;
Nikolai Kosmatov
;
Frederic Loulergue
会议名称:
《International symposium on NASA formal methods》
|
2018年
关键词:
Linked lists;
Deductive verification;
Operating system Internet of Things;
Frama-C;
65.
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
机译:
具有布尔和约束数值信号的物业规范模式的一致性
作者:
Massimo Narizzano
;
Luca Pulina
;
Armando Tacchella
;
Simone Vuotto
会议名称:
《International symposium on NASA formal methods》
|
2018年
66.
An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis
机译:
一种更好的方法 - 改善B.a.t.m.a.n.协议通过正式建模和分析
作者:
Ansgar Fehnker
;
Kaylash Chaudhary
;
Vinay Mehta
会议名称:
《International symposium on NASA formal methods》
|
2018年
67.
Stubborn Transaction Reduction
机译:
减少顽固交易
作者:
Alfons Laarman
会议名称:
《International symposium on NASA formal methods》
|
2018年
68.
Tuning Permissiveness of Active Safety Monitors for Autonomous Systems
机译:
自治系统活动安全监视器的调整允许
作者:
Lola Masson
;
Jeremie Guiochet
;
Helene Waeselynck
;
Kalou Cabrera
;
Sofia Cassel
;
Martin Toerngren
会议名称:
《International symposium on NASA formal methods》
|
2018年
意见反馈
回到顶部
回到首页