TY  - GEN
N2  - 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. .
DO  - 10.1007/978-3-031-06773-0
DO  - doi
AB  - 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. .
T1  - NASA formal methods :14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings /
AU  - Deshmukh, Jyotirmoy,
AU  - Havelund, Klaus,
AU  - Perez, Ivan
VL  - 13260
CN  - QA76.9.F67
N1  - International conference proceedings.
ID  - 1446896
KW  - Formal methods (Computer science)
SN  - 9783031067730
SN  - 3031067738
TI  - NASA formal methods :14th international symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-06773-0
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-06773-0
ER  -