Clicky

Computer Aided Verification by Natasha Sharygina and similar books you'll love - Bookscovery

Home > Authors > Natasha Sharygina > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Natasha Sharygina, Helmut Veith

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.

Recent activity

Rate this book to see your activity here.

7 Books Similar to Computer Aided Verification by Natasha Sharygina

Bookscovery readers who liked Computer Aided Verification also like Tools and Algorithms for the Construction and Analysis of Systems, 25 Years of Model Checking and Computer Science Logic. How many of these have you read?

Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

25 Years of Model Checking by Orna Grumberg

Cover of 25 Years of Model Checking
Buy this book at:
Bookshop.org Amazon

Computer Science Logic by Anuj Dawar

Cover of Computer Science Logic
Buy this book at:
Bookshop.org Amazon

Handbook of Model Checking by Edmund M. Clarke

Cover of Handbook of Model Checking
Buy this book at:
Bookshop.org Amazon

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings by Helmut Veith

Cover of Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
Buy this book at:
Bookshop.org Amazon

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
Buy this book at:
Bookshop.org Amazon

Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung by Helmut Veith

Cover of Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computer Aided Verification

Please sign in to leave a comment