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

Brossura

ISBN 10: 3030557537 ISBN 13: 9783030557539

Casa editrice: Springer, 2020

Riassunto

<p>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.*</p><p>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: &nbsp;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.</p>*The conference was held virtually due to the COVID-19 pandemic.<div><br></div><div>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.</div>

Su questo libro

Dalla quarta di copertina

<div><p>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.*</p><p>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: &nbsp;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.</p>*The conference was held virtually due to the COVID-19 pandemic.<br></div><div><br></div>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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 10: 3030557537
• ISBN 13: 9783030557539
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 468
• Redattore: Lee Ritchie, Jha Susmit, Mavridou Anastasia, Giannakopoulou Dimitra
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania