{"product_id":"nasa-formal-methods-9783030557546","title":"NASA Formal Methods","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916850852119,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030557546.jpg?v=1781593773","url":"https:\/\/payment.letskitaboo.com\/ur\/products\/nasa-formal-methods-9783030557546","provider":"Kitaboo One eStore","version":"1.0","type":"link"}