Artículos relacionados a NASA Formal Methods: 12th International Symposium,...

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Programming and Software Engineering) - Tapa blanda

 
9783030557539: NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings: 12229 (Programming and Software Engineering)
Tapa blanda
ISBN 10: 3030557537 ISBN 13: 9783030557539
Editorial: Springer, 2020

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

<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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2020
Idioma
Inglés
ISBN 10 
3030557537
ISBN 13 
9783030557539
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
468
Editor
Lee Ritchie, Jha Susmit, Mavridou Anastasia, Giannakopoulou Dimitra
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Alemania