Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
8 Ebooks von Kim Guldstrand Larsen
Christel Baier & Joost-Pieter Katoen: Principles of Model Checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical e …
PDF
Englisch
DRM
€280.50
Kim Guldstrand Larsen & Igor Potapov: Reachability Problems
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together …
PDF
Englisch
DRM
€57.78
Kim Guldstrand Larsen & Oleg Sokolsky: Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.T …
EPUB
Englisch
DRM
€57.88
Deepak D’Souza & Akash Lal: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. T …
PDF
Englisch
DRM
€57.81
Kim Guldstrand Larsen & Tim Willemse: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regu …
EPUB
Englisch
DRM
€57.66
Jan Friso Groote & Kim Guldstrand Larsen: Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held durin …
PDF
Englisch
DRM
€3.85
Jan Friso Groote & Kim Guldstrand Larsen: Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held durin …
PDF
Englisch
DRM
€3.84
