NASA Formal Methods NASA Formal Methods

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Jyotirmoy V. Deshmukh 및 다른 저자
    • US$109.99
    • US$109.99

출판사 설명

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. 

장르
컴퓨터 및 인터넷
출시일
2022년
5월 19일
언어
EN
영어
길이
850
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
95.5
MB
Formal Methods Formal Methods
2021년
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019년
Software Engineering and Formal Methods Software Engineering and Formal Methods
2021년
NASA Formal Methods NASA Formal Methods
2020년
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
2018년
Computer Aided Verification Computer Aided Verification
2018년