首页>外文会议>NASA Formal Methods Symposium

NASA Formal Methods Symposium

召开年：2019
召开地：Houston(US)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Kristin Yvonne Rozier;Julia Badger
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
2.Integrating Formal Methods into Industrial Processes

机译：将形式化方法整合到工业流程中
- 作者：Virginie Wiels
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
3.Challenges for Future Exploration (Panel Description)

机译：未来探索的挑战（面板说明）
- 作者：A NASA Panel
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
4.Safety-Critical Systems: Rapprochement Between Formal Methods and Control Theory

机译：安全关键系统：形式方法与控制理论之间的调和
- 作者：Richard Murray
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
5.Learning-Based Testing of an Industrial Measurement Device

机译：基于学习的工业测量设备测试
- 作者：Bernhard K. Aichernig;Christian Burghard;Robert Korosec
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Active learning;
- Automata learning;
- Model inference;
- Testing;
- Mutation analysis;
- Automotive case study;
- Testbed;
6.ML_υ: A Distributed Real-Time Modal Logic

机译：ML_υ：分布式实时模态逻辑
- 作者：James Ortiz;Moussa Amrani;Pierre-Yves Schobbens
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
7.Local Reasoning for Parameterized First Order Protocols

机译：参数化一阶协议的局部推理
- 作者：Rylo Ashmore;Arie Gurfinkel;Richard Trefler
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
8.Generation of Signals Under Temporal Constraints for CPS Testing

机译：在时间约束下生成信号以进行CPS测试
- 作者：Benoit Barbot;Nicolas Basset;Thau Dang
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
9.Traffic Management for Urban Air Mobility

机译：城市空中交通管理
- 作者：Suda Bharadwaj;Steven Carr;Natasha Neogi;Hasan Poonawala;Alejandro Barberia Chueca;Ufuk Topcu
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Reactive synthesis;
- System safety;
- Air traffic management;
10.Towards Full Proof Automation in Frama-C Using Auto-active Verification

机译：使用主动验证在Frama-C中实现全面证明自动化
- 作者：Allan Blanchard;Frederic Loulergue;Nikolai Kosmatov
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
11.Using Standard Typing Algorithms Incrementally

机译：逐步使用标准键入算法
- 作者：Matteo Busi;Pierpaolo Degano;Letterio Galletta
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
12.Using Binary Analysis Frameworks: The Case for BAP and angr

机译：使用二元分析框架：BAP和Angr的案例
- 作者：Chris Casinghino;J. T. Paasch;Cody Roux;John Altidor;Michael Dixon;Dustin Jamner
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- BAP;
- angr;
- Binary analysis;
- Differential analysis;
- Cyber security;
13.Automated Backend Selection for ProB Using Deep Learning

机译：使用深度学习的ProB自动后端选择
- 作者：Jannik Dunkelau;Sebastian Krings;Joshua Schmidt
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Formal methods;
- Model checking;
- Automated configuration;
- Deep learning;
14.Optimizing a Verified SAT Solver

机译：优化经过验证的SAT解算器
- 作者：Mathias Fleury
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
15.Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction

机译：使用带有语法指导的抽象的IC3对Verilog RTL进行模型检查
- 作者：Aman Goel;Karem Sakallah
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
16.Towards a Two-Layer Framework for Verifying Autonomous Vehicles

机译：迈向验证自动驾驶汽车的两层框架
- 作者：Rong Gu;Raluca Marinescu;Cristina Seceleanu;Kristina Lundqvist
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
17.Clausal Proofs of Mutilated Chessboards

机译：残缺棋盘的条款证明
- 作者：Marijn J. H. Heule;Benjamin Kiesl;Armin Biere
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
18.Practical Causal Models for Cyber-Physical Systems

机译：网络物理系统的实用因果模型
- 作者：Amjad Ibrahim;Severin Kacianka;Alexander Pretschner;Charles Hartsell;Gabor Karsai
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Causal reasoning;
- Halpern-Pearl Causality;
- Timed Failure Propagation Graphs;
- Cyber-Physical Systems;
19.Extracting and Optimizing Formally Verified Code for Systems Programming

机译：提取和优化经过正式验证的代码以进行系统编程
- 作者：Eleftherios Ioannidis;Frans Kaashoek;Nickolai Zeldovich
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Formal verification;
- Functional compiler;
- Extraction;
- Systems;
20.Structured Synthesis for Probabilistic Systems

机译：概率系统的结构化综合
- 作者：Nils Jansen;Laura Humphrey;Jana Tumova;Ufuk Topcu
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
21.Design and Runtime Verification Side-by-Side in eTrice

机译：eTrice中并行设计和运行时验证
- 作者：Sudeep Kanav;Levi Lucio;Christian Hilden;Thomas Schuetz
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
22.Data Independence for Software Transactional Memory

机译：软件事务存储的数据独立性
- 作者：Juergen Koenig;Heike Wehrheim
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
23.Transaction Protocol Verification with Labeled Synchronization Logic

机译：具有标记同步逻辑的事务协议验证
- 作者：Mohsen Lesani
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
24.Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

机译：使用依赖图的加权PCTL的符号模型检查
- 作者：Mathias Clans Jensen;Anders Mariegaard;Kim Guldstrand Larsen
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Model checking;
- PCTL;
- Fixed-point computation;
25.Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

机译：SAT求解中的对称传播和有效对称破缺
- 作者：Hakan Metin;Souheib Baarir;Fabrice Kordon
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
26.Formal Methods Assisted Training of Safe Reinforcement Learning Agents

机译：正式方法协助培训安全加固学习代理人
- 作者：Anitha Murugesan;Mohammad Moghadamfalahi;Arunabh Chattopadhyay
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Reinforcement learning;
- Assurance;
- Formal methods;
27.Formalizing CNF SAT Symmetry Breaking in PVS

机译：在PVS中将CNF SAT对称性破坏正式化
- 作者：David E. Narvaez
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- SAT;
- PVS;
- Symmetry breaking;
28.Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic

机译：逻辑飞行：使用时间逻辑的无人机系统机队计划工具
- 作者：Yash Vardhan Pant;Rhudii A. Quaye;Houssam Abbas;Akarsh Varre;Rahul Mangharam
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- UAS mission planning;
- Signal Temporal Logic;
- Correct-by-construction planning;
- Multi-rotor UAS;
29.A Mixed Real and Floating-Point Solver

机译：混合的实数和浮点求解器
- 作者：Rocco Salvia;Laura Titolo;Marco A. Feliu;Mariano M. Moscato;Cesar A. Munoz;Zvonimir Rakamaric
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
30.Online Parametric Timed Pattern Matching with Automata-Based Skipping

机译：在线参数定时模式匹配与基于自动机的跳过
- 作者：Masaki Waga;Etienne Andre
- 会议名称：《》 | 2019年
- Monitoring;
- Real-time systems;
- Parametric timed automata;
31.Using Standard Typing Algorithms Incrementally

机译：使用标准键入算法逐步使用
- 作者：Matteo Busi;Pierpaolo Degano;Letterio Galletta
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
32.Automated Backend Selection for ProB Using Deep Learning

机译：使用深度学习的概率自动化后端选择
- 作者：Jannik Dunkelau;Sebastian Krings;Joshua Schmidt
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Formal methods;
- Model checking;
- Automated configuration;
- Deep learning;
33.Transaction Protocol Verification with Labeled Synchronization Logic

机译：具有标记同步逻辑的事务协议验证
- 作者：Mohsen Lesani
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
34.Extracting and Optimizing Formally Verified Code for Systems Programming

机译：提取和优化系统编程的正式验证代码
- 作者：Eleftherios Ioannidis;Frans Kaashoek;Nickolai Zeldovich
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Formal verification;
- Functional compiler;
- Extraction;
- Systems;
35.Safety-Critical Systems: Rapprochement Between Formal Methods and Control Theory

机译：安全关键系统：正式方法与控制理论之间的求和
- 作者：Richard Murray
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
36.Local Reasoning for Parameterized First Order Protocols

机译：参数化第一订单协议的本地推理
- 作者：Rylo Ashmore;Arie Gurfinkel;Richard Trefler
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
37.A Mixed Real and Floating-Point Solver

机译：混合真实和浮点的求解器
- 作者：Rocco Salvia;Laura Titolo;Marco A. Feliu;Mariano M. Moscato;Cesar A. Munoz;Zvonimir Rakamaric
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
38.Preface

机译：前言
- 作者：Kristin Yvonne Rozier;Julia Badger
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
39.Generation of Signals Under Temporal Constraints for CPS Testing

机译：在CPS测试的时间限制下产生信号
- 作者：Benoit Barbot;Nicolas Basset;Thau Dang
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
40.Towards a Two-Layer Framework for Verifying Autonomous Vehicles

机译：朝着验证自动车辆的两层框架
- 作者：Rong Gu;Raluca Marinescu;Cristina Seceleanu;Kristina Lundqvist
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
41.Clausal Proofs of Mutilated Chessboards

机译：肢解棋盘的责任证明
- 作者：Marijn J. H. Heule;Benjamin Kiesl;Armin Biere
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
42.Using Binary Analysis Frameworks: The Case for BAP and angr

机译：使用二进制分析框架：BAP和ANGR的情况
- 作者：Chris Casinghino;J. T. Paasch;Cody Roux;John Altidor;Michael Dixon;Dustin Jamner
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- BAP;
- angr;
- Binary analysis;
- Differential analysis;
- Cyber security;
43.Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction

机译：使用IC3具有语法引导抽象的Verilog RTL的模型检查
- 作者：Aman Goel;Karem Sakallah
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
44.Practical Causal Models for Cyber-Physical Systems

机译：网络物理系统的实用因果模型
- 作者：Amjad Ibrahim;Severin Kacianka;Alexander Pretschner;Charles Hartsell;Gabor Karsai
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Causal reasoning;
- Halpern-Pearl Causality;
- Timed Failure Propagation Graphs;
- Cyber-Physical Systems;
45.Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic

机译：Fly-By-Logic：使用时间逻辑的无人机系统舰队规划工具
- 作者：Yash Vardhan Pant;Rhudii A. Quaye;Houssam Abbas;Akarsh Varre;Rahul Mangharam
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- UAS mission planning;
- Signal Temporal Logic;
- Correct-by-construction planning;
- Multi-rotor UAS;
46.Online Parametric Timed Pattern Matching with Automata-Based Skipping

机译：在线参数定时模式与基于自动数据的跳跃匹配
- 作者：Masaki Waga;Etienne Andre
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Monitoring;
- Real-time systems;
- Parametric timed automata;
47.Structured Synthesis for Probabilistic Systems

机译：概率系统的结构化合成
- 作者：Nils Jansen;Laura Humphrey;Jana Tumova;Ufuk Topcu
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
48.Design and Runtime Verification Side-by-Side in eTrice

机译：在etrice中并排设计和运行时验证
- 作者：Sudeep Kanav;Levi Lucio;Christian Hilden;Thomas Schuetz
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
49.Optimizing a Verified SAT Solver

机译：优化验证的SAT求解器
- 作者：Mathias Fleury
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
50.Learning-Based Testing of an Industrial Measurement Device

机译：基于学习的工业测量装置的测试
- 作者：Bernhard K. Aichernig;Christian Burghard;Robert Korosec
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Active learning;
- Automata learning;
- Model inference;
- Testing;
- Mutation analysis;
- Automotive case study;
- Testbed;
51.Formalizing CNF SAT Symmetry Breaking in PVS

机译：在PVS中正式化CNF SED对称性突破
- 作者：David E. Narvaez
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- SAT;
- PVS;
- Symmetry breaking;
52.Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

机译：依赖性图表加权PCTL的符号模型检查
- 作者：Mathias Clans Jensen;Anders Mariegaard;Kim Guldstrand Larsen
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Model checking;
- PCTL;
- Fixed-point computation;
53.Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving

机译：组合对称传播和用于SAT求解的有效对称性
- 作者：Hakan Metin;Souheib Baarir;Fabrice Kordon
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
54.Data Independence for Software Transactional Memory

机译：软件交易记忆的数据独立性
- 作者：Juergen Koenig;Heike Wehrheim
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
55.Formal Methods Assisted Training of Safe Reinforcement Learning Agents

机译：正式方法辅助培训安全强化学习代理人
- 作者：Anitha Murugesan;Mohammad Moghadamfalahi;Arunabh Chattopadhyay
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Reinforcement learning;
- Assurance;
- Formal methods;
56.Traffic Management for Urban Air Mobility

机译：城市空运的交通管理
- 作者：Suda Bharadwaj;Steven Carr;Natasha Neogi;Hasan Poonawala;Alejandro Barberia Chueca;Ufuk Topcu
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
- Reactive synthesis;
- System safety;
- Air traffic management;
57.Integrating Formal Methods into Industrial Processes

机译：将正式方法集成到工业过程中
- 作者：Virginie Wiels
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
58.ML_υ: A Distributed Real-Time Modal Logic

机译：ML_‖：分布式实时模态逻辑
- 作者：James Ortiz;Moussa Amrani;Pierre-Yves Schobbens
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
59.Challenges for Future Exploration (Panel Description)

机译：未来勘探挑战（面板描述）
- 作者：A NASA Panel
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
60.Towards Full Proof Automation in Frama-C Using Auto-active Verification

机译：使用自动主动验证在FRAMA-C中全面证明自动化
- 作者：Allan Blanchard;Frederic Loulergue;Nikolai Kosmatov
- 会议名称：《NASA Formal Methods Symposium》 | 2019年
61.The Flavour of Real-World Vulnerability Detection and Intelligent Configuration

机译：现实世界漏洞检测和智能配置的味道
- 作者：Cristina Cifuentes
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
62.Good Fences Make Good Neighbors Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm

机译：良好的围栏用正式验证的安全轨迹制作良好的邻居来设计预测的地理速算法
- 作者：Yanni Kouskoulas;Rosa Wu;Joshua Brule;Daniel Genin;Aurora Schmidt;T. J. Machado
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
63.Preface

机译：前言
- 作者：Aaron Dutle;Mariano M. Moscato;Laura Titolo;Cesar A. Munoz;Ivan Perez
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
64.SMT Solving: Past, Present, and Future

机译：SMT解决：过去，现在和未来
- 作者：Erika Abraham
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
65.Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

机译：平衡风和电池：迈向智能电网的预测验证
- 作者：Thorn S. Badings;Arnd Hartmanns;Nils Jansen;Marnix Suilen
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
66.Integrating Runtime Verification into a Sounding Rocket Control System

机译：将运行时验证集成到声音火箭控制系统中
- 作者：Benjamin Hertz;Zachary Luppen;Kristin Yvonne Rozier
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Runtime verification;
- Temporal logic;
- System health monitoring;
- Formal specification;
- R2U2;
- Control systems;
- Rocket;
67.On the Effectiveness of Signal Rescaling in Hybrid System Falsification

机译：关于混合系统信号重构的有效性伪造
- 作者：Zhenya Zhang;Deyun Lyu;Paolo Arcaini;Lei Ma;Ichiro Hasuo;Jianjun Zhao
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Falsification;
- Signal temporal logic;
- Scale problem;
- Rescaling;
68.Distribution-aware Validation of Neural Networks

机译：神经网络的分布感知验证
- 作者：Matthew B. Dwyer
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
69.Minimum-Violation Traffic Management for Urban Air Mobility

机译：城市空运能力最小违规流量管理
- 作者：Suda Bharadwaj;Tichakorn Wongpiromsarn;Natasha Neogi;Joseph Muffoletto;Ufuk Topcu
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
70.On Symmetry and Quantification: A New Approach to Verify Distributed Protocols

机译：关于对称性和量化：一种验证分布式协议的新方法
- 作者：Aman Goel;Karem Sakallah
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
71.Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty

机译：令人强迫的控制器规范对感知不确定性的网络 - 物理系统
- 作者：Tsutomu Kobayashi;Rick Salay;Ichiro Hasuo;Krzysztof Czarnecki;Fuyuki Ishikawa;Shin-ya Katsumata
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Controller systems;
- Perceptual uncertainty;
- Robustness;
- Event-B;
72.Verifying Min-Plus Computations with Coq

机译：使用COQ验证MIN-PLUS计算
- 作者：Lucien Rakotomalala;Pierre Roux;Marc Boyer
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Network-calculus;
- Min-plus computations;
- Coq;
- Functions on real numbers;
73.A Formal Proof of the Lax Equivalence Theorem for Finite Difference Schemes

机译：有限差分方案的LAX等效定理的正式证明
- 作者：Mohit Tekriwal;Karthik Duraisamy;Jean-Baptiste Jeannin
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Lax equivalence theorem;
- Finite difference scheme;
- Convergence;
- Taylor-lagrange theorem;
74.nnenum: Verification of ReLU Neural Networks with Optimized Abstraction Refinement

机译：nnenum：用优化抽象改进验证Relu神经网络
- 作者：Stanley Bak
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Neural network verification;
- ReLU;
- ACAS Xu;
75.Integrating Formal Verification and Assurance: An Inspection Rover Case Study

机译：整合正式核查和保证：检查流动厅案例研究
- 作者：Hamza Bourbouh;Marie Farrell;Anastasia Mavridou;Irfan Sljivo;Guillaume Brat;Louise A. Dennis;Michael Fisher
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
76.Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench

机译：通过软件分析工作台验证OpenSSL中的SHA256
- 作者：Brett Decker;Benjamin Winters;Eric Mercer
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Software Analysis Workbench;
- Formal verification;
- Symbolic execution;
- Cryptol;
- SHA;
- OpenSSL;
77.Polygon Merge: A Geometric Algorithm Verified Using PVS

机译：多边形合并：使用PVS验证的几何算法
- 作者：Ben L. Di Vito;Ashlie B. Hocking
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Deductive verification;
- Interactive theorem proving;
- Geometric algorithms;
- Polygon membership;
78.Program Sketching Using Lifted Analysis for Numerical Program Families

机译：使用测量分析对数字计划家庭的提升分析进行速写
- 作者：Aleksandar S. Dimovski;Sven Apel;Axel Legay
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
79.Scalable Reliability Analysis by Lazy Verification

机译：通过延迟验证可扩展可靠性分析
- 作者：Shahid Khan;Joost-Pieter Katoen;Matthias Volk;Marc Bouissou
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
80.Runtime Verification of Generalized Test Tables

机译：广义测试表的运行时验证
- 作者：Alexander Weigl;Mattias Ulbrich;Shmuel Tyszberowicz;Jonas Klamroth
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Runtime verification;
- Monitoring;
- Formal specification;
81.Quasi-Equal Clock Reduction On-the-Fly

机译：即时等时钟减少
- 作者：Bernd Westphal
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
82.Specification Decomposition for Reactive Synthesis

机译：反应合成规范分解
- 作者：Bernd Finkbeiner;Gideon Geier;Noemi Passing
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
83.Verification of Functional Correctness of Code Diversification Techniques

机译：验证代码多样化技术的功能正确性
- 作者：Jae-Won Jang;Freek Verbeek;Binoy Ravindran
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Code diversification;
- Functional equivalence;
- Verification;
84.Online Shielding for Stochastic Systems

机译：随机系统的在线屏蔽
- 作者：Bettina Koenighofer;Julian Rudolf;Alexander Palmisano;Martin Tappler;Roderick Bloem
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
85.Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model

机译：使用失败感知演员模型验证Synod中的最终共识
- 作者：Saswata Paul;Gul A. Agha;Stacy Patterson;Carlos A. Varela
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
86.An Infrastructure for Faithful Execution of Remote Attestation Protocols

机译：忠实执行远程证明协议的基础设施
- 作者：Adam Petz;Perry Alexander
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
- Remote attestation;
- Verification;
- Domain specific languages;
87.Efficient Verification of Optimized Code Correct High-Speed X25519

机译：高效验证优化代码正确高速X25519
- 作者：Marc Schoolderman;Jonathan Moerman;Sjaak Smetsers;Marko van Eekelen
- 会议名称：《NASA Formal Methods Symposium》 | 2021年
88.Recursive Variable-Length State Compression for Multi-core Software Model Checking

机译：用于多核软件模型检查的递归可变长度状态压缩
- 作者：Freark I. van der Berg
- 会议名称：《NASA Formal Methods Symposium》 | 2021年