helmut veith

Handbook of Model Checking

Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

Handbook of Model Checking

Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

25 Years of Model Checking

Model checking technology is among the foremost applications of logic to computer science and com...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 15th International Conference on Logic for ...

Computer Science Logic

Computer Aided Verification

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on...

Model Checking, second edition

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

25 Years of Model Checking

Model checking technology is among the foremost applications of logic to computer science and ...

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 15th International Conference on Logic for ...

Computer Aided Verification

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on...