Abstract
Over the last few years, our society has changed substantially and has become rapidly digitalised. For almost every aspect of our daily lives, we now depend on software.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
See https://en.wikipedia.org/wiki/Formal_methods, last visited December 7, 2022.
Acknowledgements
Many thanks go to Stefan Blom, Ronald Burgman, Roeland Kegel, Wojciech Mostowski, Sophie Lathouwers, and Wolfgang Ahrendt who carefully read through the lecture notes on which this book is based, and provided useful feedback, references, and graphical representations of Kripke structures. Also many thanks to Naum Tomov, who helped to check that all examples provided in the book are accepted by the current version of the tools, and to Jacco Brandt who spotted some mistakes in the examples.
The work on this book has been financially supported by NWO grant 639.023.710 for the Mercedes project and by NWO TTW grant 17249 for the ChEOPS project.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Huisman, M., Wijs, A. (2023). Introduction. In: Concise Guide to Software Verification. Texts in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-30167-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-30167-4_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-30166-7
Online ISBN: 978-3-031-30167-4
eBook Packages: Computer ScienceComputer Science (R0)