This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
As usual, the behavior of a timed system is obtained by composing the behavior of its components. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
nullary programs, merge invariant, projection refinable, concrete state variables, trajectory assertion, partial state space, invariance checking, component event structure, maximally diverse interpretations, mixed vertices, process algebra expression, zone automaton, complete finite prefix, parametric timed automata, automata level, function application terms, clock difference diagrams, finite instantiations, conformance protocol, latency equivalent, satisfiability solving, process indices, symbolic reachability analysis, transitive fanout, uninterpreted functions Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Computer-Aided Design, Software Engineering, Carnegie Mellon University, Principles of Programming Languages, New York, Design Automation Conference, Science of Computer Programming, University of California, Computer Systems, Stanford University, Gigahertz Processor, International Workshop, Kluwer Academic Publishers, Prentice Hall, San Jose, Annual Symposium, Bell Laboratories, David Dill, Intel Corporation, International Symposium, John Rushby, Lucent Technologies, Menlo Park, Princeton University Press New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
As usual, the behavior of a timed system is obtained by composing the behavior of its components. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
nullary programs, merge invariant, projection refinable, concrete state variables, trajectory assertion, partial state space, invariance checking, component event structure, maximally diverse interpretations, mixed vertices, process algebra expression, zone automaton, complete finite prefix, parametric timed automata, automata level, function application terms, clock difference diagrams, finite instantiations, conformance protocol, latency equivalent, satisfiability solving, process indices, symbolic reachability analysis, transitive fanout, uninterpreted functions Key Phrases - Capitalized Phrases (CAPs): (learn more)
Springer Verlag, Computer-Aided Design, Software Engineering, Carnegie Mellon University, Principles of Programming Languages, New York, Design Automation Conference, Science of Computer Programming, University of California, Computer Systems, Stanford University, Gigahertz Processor, International Workshop, Kluwer Academic Publishers, Prentice Hall, San Jose, Annual Symposium, Bell Laboratories, David Dill, Intel Corporation, International Symposium, John Rushby, Lucent Technologies, Menlo Park, Princeton University Press New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 54
books:
See all 54 books this book cites
- Symbolic Model Checking by Kenneth L. McMillan on 9 pages
- Model Checking by Edmund M. Clarke Jr. on 9 pages
- Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994 : Proceedings (Lecture Notes in Computer Science) by David L. Dill on 7 pages
- Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science) by E. M. Clarke on 6 pages
- Computer-Aided Verification of Coordinating Processes by Robert P. Kurshan on 4 pages
See all 54 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Home Computing > Internet
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
