NASA Formal Methods

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

By: Ritchie Lee (Editor), Susmit Jha (Editor), Anastasia Mavridou (Editor)

Write A Review

Paperback | 9 August 2020

At a Glance

Paperback
468 Pages

Dimensions(cm)
23.39 x 15.6 x 2.39

Paperback

$206.99

or 4 interest-free payments of $51.75 with

or

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.