Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
Editors:
- Ganesh Gopalakrishnan,
- Shaz Qadeer
- … show all 2 hide
Table of contents (60 chapters)
-
Front Matter
Pages -
-
Chapter
Pages 1-19
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
-
Chapter
Pages 20-20
-
Chapter
Pages 21-27
-
Chapter
Pages 28-43
-
Chapter
Pages 44-49
Using Coverage to Deploy Formal Verification in a Simulation World
-
Chapter
Pages 50-66
-
Chapter
Pages 67-82
-
Chapter
Pages 83-98
Parameter Identification for Markov Models of Biochemical Reactions
-
Chapter
Pages 99-115
-
Chapter
Pages 116-131
-
Chapter
Pages 132-148
State/Event-Based LTL Model Checking under Parametric Generalized Fairness
-
Chapter
Pages 149-164
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
-
Chapter
Pages 165-170
-
Chapter
Pages 171-177
-
Chapter
Pages 178-183
-
Chapter
Pages 184-190
-
Chapter
Pages 191-207
-
Chapter
Pages 208-224
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
-
Chapter
Pages 225-242
-
Chapter
Pages 243-259
- Book Title
- Computer Aided Verification
- Book Subtitle
- 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
- Copyright
- 2011
- DOI
- 10.1007/978-3-642-22110-1
- Print ISBN
- 978-3-642-22109-5
- Online ISBN
- 978-3-642-22110-1
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 6806
- Series ISSN
- 0302-9743
- Publisher
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- Additional Links
- Topics
- Industry Sectors
- eBook Packages
- Editors
-
- Ganesh Gopalakrishnan (16)
- Shaz Qadeer (17)
- Editor Affiliations
-
- 16. School of Computing, University of Utah
- 17. Microsoft Research
Continue reading...
To view the rest of this content please follow the download PDF link above.