NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (1st ed. 2022) (Lecture Notes in Computer Science #13260)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2022
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031067730
- Related ISBNs:
- 9783031067723
- Publisher:
- Springer International Publishing
- Date of Addition:
- 08/02/22
- Copyrighted By:
- Springer Nature Switzerland AG
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Ivan Perez
- Edited by:
- Klaus Havelund
- Edited by:
- Jyotirmoy V. Deshmukh