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; ...
Read More
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.
Read Less
Add this copy of Nasa Formal Methods: 14th International Symposium, Nfm to cart. $124.72, good condition, Sold by Big River Books rated 5.0 out of 5 stars, ships from Powder Springs, GA, UNITED STATES, published 2022 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.
Add this copy of NASA Formal Methods: 14th International Symposium, NFM to cart. $140.50, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2022 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXII, 828 p. 219 illus., 168 illus. in color. Intended for professional and scholarly audience.
Add this copy of NASA Formal Methods: 14th International Symposium, NFM to cart. $149.66, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2022 by Springer International Publishing AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXII, 828 p. 219 illus., 168 illus. in color. Intended for professional and scholarly audience.
Add this copy of Nasa Formal Methods: 14th International Symposium, Nfm to cart. $171.58, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2022 by Springer.
