Helmut Veith
- Auteur
Boeken van Helmut Veith
Edmund Clarke
Thomas Henzinger
Helmut Veith
Roderick Bloem
Handbook of Model Checking
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.
Meer
Orna Grumberg
Helmut Veith
25 Years of Model Checking
This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Meer
Iliano Cervesato
Helmut Veith
Andrei Voronkov
Logic for Programming, Artificial Intelligence, and Reasoning
This volume contains the papers presented at the 15th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR) held November22–27inDoha,QataronthepremisesoftheQatarcampusofCarnegie Mellon University.
Meer
Anuj Dawar
Helmut Veith
Computer Science Logic
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23–27, 2010.
Meer
Natasha Sharygina
Helmut Veith
Computer Aided Verification
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St.
Meer