This book presents 12 revised refereed papers selected as the best from 32 submissions for the Fi...

This book constitutes the refereed proceedings of the Third International Workshop on Tools and A...

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

Traditionally, models and methods for the analysis of the functional correctness of reactive syst...