Picture 1 of 1
Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pasadena, Ca, U...
Condition:
2 available
Postage:
Located in: Jessup, Maryland, United States
Delivery:
Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 96.8% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:364800441862
Item specifics
- Condition
- Book Title
- Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pas
- ISBN
- 9783031067723
- Subject Area
- Computers, Mathematics
- Publication Name
- NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
- Publisher
- Springer International Publishing A&G
- Item Length
- 9.3 in
- Subject
- Software Development & Engineering / General, General
- Publication Year
- 2022
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Weight
- 45.2 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xxii, 828 Pages
About this product
Product Information
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
303106772x
ISBN-13
9783031067723
eBay Product ID (ePID)
26057265354
Product Key Features
Number of Pages
Xxii, 828 Pages
Language
English
Publication Name
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Publication Year
2022
Subject
Software Development & Engineering / General, General
Type
Textbook
Subject Area
Computers, Mathematics
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
45.2 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Dewey Edition
23
Series Volume Number
13260
Number of Volumes
1 Vol.
Illustrated
Yes
Dewey Decimal
004.0151
Lc Classification Number
Qa76.758
Table of Content
Invited Keynotes.- Formal Methods for Trusted Space Autonomy: Boon or Bane.- An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.- Concept Design Moves.- Automating Program Transformation with Coccinelle.- The Prusti Project: Formal Verification for Rust.- Summers Reachability Analysis for Cyber-Physical Systems: Are we there yet.- Regular Submissions.- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.- Quantification of Battery Depletion Risk Made Efficient.- Hierarchical Contract-based Synthesis for Assurance Cases.- Verified Probabilistic Policies for Deep Reinforcement Learning.- NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.- Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.- Towards Refactoring FRETish Requirements.- Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability.- ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.- Permutation Invariance of Deep Neural Networks with ReLUs.- Configurable Benchmarks for C Model Checkers.- AssumeGuarantee Reasoning with Scheduled Components.- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.- From Verified Scala to STIX File System Embedded Code using Stainless.- On the Termination of Borrow Checking in Featherweight Rust.- Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.- Zone Extrapolations in Parametric Timed Automata.- Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.- Timed Automata Learning via SMT Solving.- Asynchronous Composition of Local Interface LTL Properties.- Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.- Robust Computation Tree Logic.- On the-Fly Model Checking with Neural MCTS.- Checking and Test Generation for Comprehensive Verification.- Operational Annotations: a New Method for Sequential Program Verification.- Byzantine Fault Tolerant Consensus in Agda.- DSV: Disassembly Soundness Validation without Assuming a Ground Truth.- Probabilistic Hyperproperties with Rewards.- Hypercontracts.- Monitorability of Expressive Verdicts.- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.- Approximate Translation from Floating-Point to Real-Interval Arithmetic.- Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.- Certified Computation of Nondeterministic Limits.- The Power of Disjoint Support Decompositions in Decision Diagrams.- Incremental Transitive Closure for Zonal Abstract Domain.- Proof Mate: an Interactive Proof Helper for PVS.- Runtime Verification Triggers.- Real-time, Autonomous Fault Recovery on the CySat-I.
Copyright Date
2022
Item description from the seller
Business seller information
Expert Trading Limited
John Boyer
9220 Rumsey Rd
Ste 101
21045-1956 Columbia, MD
United States
I certify that all my selling activities will comply with all EU laws and regulations.
Seller assumes all responsibility for this listing.
eBay item number:364800441862
Postage and packaging
Item location:
Jessup, Maryland, United States
Posts to:
Afghanistan, Albania, Algeria, Americas, Andorra, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chile, China, Colombia, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Europe, Fiji, Finland, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Latvia, Lebanon, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, New Zealand, Nicaragua, Niger, Norway, Oman, Pakistan, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Kitts-Nevis, Saint Lucia, Saint Vincent and the Grenadines, San Marino, Senegal, Serbia, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Spain, Sri Lanka, Suriname, Sweden, Switzerland, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turks and Caicos Islands, Uganda, United Arab Emirates, United Kingdom, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Samoa, Zambia, Zimbabwe
Excludes:
APO/FPO, Angola, Barbados, Botswana, Brazil, Chad, France, French Guiana, French Polynesia, Guadeloupe, Laos, Lesotho, Libya, Macedonia, Martinique, Mauritius, New Caledonia, Nigeria, Reunion, Russian Federation, Saint Pierre and Miquelon, Saudi Arabia, Seychelles, Swaziland, Tajikistan, Turkey, Turkmenistan, US Protectorates, Ukraine, Uruguay, Venezuela, Yemen
Postage and packaging | Each additional item | To | Service | Delivery*See Delivery notes |
---|---|---|---|---|
Free postage | Free | United States | Economy Shipping | Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230 |
Dispatch time |
---|
Will usually dispatch within 10 working days of receiving cleared payment. |
Taxes |
---|
Seller charges sales tax in |
Sales tax for an item #364800441862
Sales tax for an item #364800441862
Seller collects sales tax/VAT for items dispatched to the following states:
County | VAT rate |
---|
Returns policy
After receiving the item, cancel the purchase within | Refund will be given as | Return postage |
---|---|---|
14 days | Money back | Buyer pays for return postage |
The buyer is responsible for return postage costs.
Return policy details |
---|
Returns accepted |
Most Buy It Now purchases are protected by the Consumer Rights Directive, which allow you to cancel the purchase within seven working days from the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Registered as a business seller
Seller Feedback (344,503)
e***7 (6)- Feedback left by buyer.
Past month
Verified purchase
Love the books by Dr. Tony Evans!!
1***7 (730)- Feedback left by buyer.
Past month
Verified purchase
was just what I wanted.
-***a (265)- Feedback left by buyer.
Past month
Verified purchase
No padding, bubble wrap, or protection of any kind to prevent damage during shipping. Book arrived damaged, seller accepted return.
More to explore:
- Non-Fiction Methodism Fiction & Non-Fiction Books,
- Non-Fiction Methodism Hardcover Books,
- Non-Fiction Methodism Paperback Fiction & Books,
- International Times Magazines,
- Life International Magazines,
- Grand Prix International Magazines,
- Military Machines International Magazines,
- Scale Models International Magazines,
- Grand Prix International Magazines in English,
- Country Music International Magazines