This book constitutes the refereed proceedings of the11th International Haifa Verification Confer...

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithm...

This book surveys the automata theoretic techniques that are required for model checking and sati...