Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Marsha Chechik, Joost-Pieter Katoen
672 kr
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
AvMartin Leucker,Joost-Pieter Katoen
E-bok
Engelska, 20231 470 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Häftad, 2005
573 kr
Model-Based Testing of Reactive Systems
Alexander Pretschner, Martin Leucker, Joost-Pieter Katoen, Bengt Jonsson, Manfred Broy
E-bok
2005739 kr
Del 14000
Del 9971
Tools and Algorithms for the Construction and Analysis of Systems
Jean-Francois Raskin, Marsha Chechik
E-bok
2016739 kr