che-chandler.de

Model Checking and Artificial Intelligence

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

Software Reliability Methods

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

Computer Aided Verification

Runtime Verification

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...

Time for Verification

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

Computer Aided Verification

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

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

Verification, Model Checking, and Abstract Interpretation

th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Check...

Runtime Verification

The RV series of workshops brings together researchers from academia and - dustry that are intere...

Model Checking and Artificial Intelligence

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