Libro Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedin De Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker,

portada Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Formato

Libro Físico

Editorial

Springer

Autor

Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker, Martin

Idioma

Inglés

N° páginas

659

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 3.5 cm

Peso

0.93 kg.

ISBN13

9783031274800

Categorías

Programación informática - desarrollo de software
Sistemas basados en el conocimiento

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker, Martin (Autor) · Springer · Tapa Blanda

Sin Stock

Reseña del libro "Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings"

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.