{ "item_title" : "NASA Formal Methods", "item_author" : [" Julia M. Badger", "Kristin Yvonne Rozier "], "item_description" : "Model checking.- Theorem proving.- Static analysis.- Model-based development.- Runtime monitoring.- Formal approaches to fault tolerance.- Applications of formal methods to aerospace systems.- Formal analysis of cyber-physical systems, including hybrid and embedded systems.- Formal methods in systems engineering.- Modeling.- Requirements and specifications.- Requirements generation.- Specification debugging.- Formal validation of specifications.- Use of formal methods in safety cases.- Use of formal methods in human-machine interaction analysis.- Formal methods for parallel hardware implementations.- Use of formal methods in automated software engineering and testing.- Correct-by-design.- Design for verification, and property based design techniques.- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods.- Compositional techniques.- Parallel and distributed techniques.- Application of formal methods to emerging technologies.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/31/906/199/3319061992_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details