Computer software, verification

Model Checking

Edmund M. Clarke Jr., Doron A. Peled, Orna Grumberg

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Reactive systems: modelling, specification and verification

Luca Aceto ... [et al.]

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

Javier Cámara, Antonia Lopes, Rogério de Lemos, Carlo Ghezzi

Verification of Sequential and Concurrent Programs

by Krzysztof R. Apt, Ernst-Rüdiger Olderog

Verification and Validation of Rule-Based Expert Systems

Suzanne Smith, Abraham Kandel

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Franco Fummi, Robert Wille, Rolf Drechsler

Reconfigurable System Design and Verification

Jacek F. Gieras, Marco D. Santambrogio, Pao-Ann Hsiung

Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault

edited by Hans-Joachim Wunderlich

Verification and validation for quality of UML 2.0 models

Bhuvan Unhelkar.