Select
Explore
keyword: Model Checking – 31 free books.
All these books are free to read: either they're distributed with a free license, or they're in the public domain.
Mathematics in Software Reliability and Quality Assurance
Tadashi Dohi and Shaoying Liu, editors
Fundamental Approaches to Software Engineering
Einar Broch Johnsen and Manuel Wimmer
Agents and Robots for Reliable Engineered Autonomy
Rafael C. Cardoso et al. (editors)
Trustworthiness in Mobile Cyber Physical Systems
Kyungtae Kang et al. (editors)
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
Jan Friso Groote and Kim Guldstrand Larsen, editors
Dirk Beyer and Marieke Huisman, editors
Shuvendu K. Lahiri and Chao Wang, editors