Requirements-Driven Model Checking and Test Generation for Comprehensive Verification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods
1. Verfasser:	Bhatt, Devesh (VerfasserIn)
Weitere Verfasser:	Ren, Hao (VerfasserIn), Murugesan, Anitha (VerfasserIn), Biatek, Jason (VerfasserIn), Varadarajan, Srivatsan (VerfasserIn), Shankar, Natarajan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Concept Design Moves	2022	Jackson, Daniel
Formal Methods for Trusted Space Autonomy: Boon or Bane?	2022	Chien, Steve A.
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS	2022	Mehmood, Usama
An Essence of Domain Engineering	2022	Bjørner, Dines
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?	2022	Chen, Xin
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems[dagger sign]	2022	Graebener, Josefine B.
Verified Probabilistic Policies for Deep Reinforcement Learning	2022	Bacci, Edoardo
Zone Extrapolations in Parametric Timed Automata	2022	Arcile, Johan
Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry	2022	Luppen, Zachary
Assume-Guarantee Reasoning with Scheduled Components	2022	Liu, Cong
Configurable Benchmarks for C Model Checkers	2022	Fink, Xaver
Hypercontracts	2022	Incer, Inigo
Incremental Transitive Closure for Zonal Abstract Domain	2022	Ballou, Kenny
Approximate Translation from Floating-Point to Real-Interval Arithmetic	2022	Ishii, Daisuke
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning	2022	Meng, Yue
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability	2022	Bak, Stanley
Hierarchical Contract-Based Synthesis for Assurance Cases	2022	Wang, Timothy E.
Timed Automata Learning via SMT Solving	2022	Tappler, Martin
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda	2022	Carr, Harold
Monitorability of Expressive Verdicts	2022	Gorostiaga, Felipe

Alle Artikel auflisten