NASA Formal Methods | 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

Ritchie Lee (u. a.)

ISBN 10: 3030557537 / ISBN 13: 9783030557539

Editore: Springer, 2020

NASA Formal Methods | 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings | Ritchie Lee (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2020 | Springer | EAN 9783030557539 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 118735888

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>

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.

Dati bibliografici

Titolo: NASA Formal Methods | 12th International ...
Casa editrice: Springer
Data di pubblicazione: 2020
Legatura: Taschenbuch
Condizione: Neu