[Only registered and activated users can see links. Click Here To Register...]
Julia M. Badger, Kristin Yvonne Rozier, "NASA Formal Methods"
English | 2019 | ISBN: 3030206513 | PDF | pages: 410 | 18.3 mb
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.
The 20 full and 8 short papers presented in this volume were carefullyreviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Code:
https://uploadgig.com/file/download/D3960E86dc3ed3C6/gfh2f.NASA.Formal.Methods.Repost.rar
Download ( Rapidgator )
https://rapidgator.net/file/994f05dac3089eb6368ebe5e6ce4289a/gfh2f.NASA.Formal.Methods.Repost.rar.html
Download ( NitroFlare )
http://nitroflare.com/view/6DB205D9830D9FD/gfh2f.NASA.Formal.Methods.Repost.rar
