Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
E-bok
Engelska, 20231 022 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.
The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 13881
Verification, Model Checking, and Abstract Interpretation
Cezara Dragoi, Michael Emmi, Jingbo Wang
Häftad, 2023
837 kr
Oil & Gas Produced Water Management
Eric M.V. Hoek, Jingbo Wang, Tony D. Hancock, Arian Edalat, Subir Bhattacharjee, David Jassby
Häftad, 2021
308 kr
Oil & Gas Produced Water Management
David Jassby, Subir Bhattacharjee, Arian Edalat, Tony D. Hancock, Jingbo Wang, Eric M.V. Hoek
E-bok
2022382 kr