|
Verification of sequential and concurrent programs
|
Krzysztof R. Apt |
This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nonde… |
OL15987757W |
|
Hardware and Software: Verification and Testing
|
Armin Biere |
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presente… |
OL19854793W |
|
Verification of Reactive Systems
|
Klaus Schneider |
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a g… |
OL19909495W |