Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand Larsen · First published 2021Open the Tome
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen, Tim Willemse · First published 2019Open the Tome
Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen, Oleg Sokolsky, Ji Wang · First published 2017Open the Tome
Verification, Model Checking, and Abstract InterpretationDeepak D'Souza, Akash Lal, Kim Guldstrand Larsen · First published 2014Open the Tome
