This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model C...

This volume contains the proceedings of the International Conference on Computer Aided Veri?catio...