doron a peled

Time for Verification

This volume is dedicated to the memory of  the 1996 Turing Award winner Amir Pnueli. It contains ...

Runtime Verification

Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was i...

Automated Technology for Verification and Analysis

This book constitutes the proceedings of the 14th International Symposium on Automated Technology...

Verification, Model Checking, and Abstract Interpretation

This book contains the proceedings of VMCAI 2007. It features current research from the communiti...

Model Checking, second edition

An expanded and updated edition of a comprehensive presentation of the theory and practice of mod...

Model Checking and Artificial Intelligence

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Mo...

Formal Techniques for Networked and Distributed Systems - FORTE 2002

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

Computer Aided Verification

Computer Aided Verification

This book constitutes the refereed proceedings of the 11th International Conference on Computer A...

Software Reliability Methods

This book presents current methods for dealing with software reliability, illustrating the advant...

Software Reliability Methods

Many books focus on increasing the quality of software through the use of formal methods. However...