NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3030557537 ISBN 13 : 9783030557539

Editeur : Springer, 2020

Synopsis

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*

The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems.

*The conference was held virtually due to the COVID-19 pandemic.
The chapter "Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2020
• Langue: anglais
• ISBN 10: 3030557537
• ISBN 13: 9783030557539
• Reliure: Broché
• Numéro d'édition: 1
• Nombre de pages: 468
• Éditeur: Lee Ritchie, Jha Susmit, Mavridou Anastasia, Giannakopoulou Dimitra
• Coordonnées du fabricant: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Allemagne