Computer Aided Verification 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings - new book

EAN (ISBN-13): 9783540614746
ISBN (ISBN-10): 3540614745
Hardcover
Paperback
Publishing year: 1996
Publisher: Springer Berlin Heidelberg
492 Pages
Weight: 0,737 kg
Language: eng/Englisch

Book in our database since 2007-08-17T04:40:10+01:00 (London)
Detail page last modified on 2023-12-19T10:37:04+00:00 (London)
ISBN/EAN: 9783540614746

ISBN - alternate spelling:
3-540-61474-5, 978-3-540-61474-6
Alternate spelling and related search-keywords:
Book author: henzinger, brunswick, hills, henz thomas, and thomas
Book title: new brunswick, computer aide, verification, cav, usa, lecture notes computer science, proceedings conference, august

---

Information from Publisher

Author: Rajeev Alur; Thomas Henzinger
Title: Lecture Notes in Computer Science; Computer Aided Verification - 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Publisher: Springer; Springer Berlin
479 Pages
Publishing year: 1996-07-17
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 479 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Audio; Computergestüzte Verifikation; Formale Verifikation; Programmanalyse; System; Text; Theorembeweisen; Verifikationstools; algorithms; communication; computer aided verification; formal verification; program anlysis; theorem proving; verification tools; Computer Science Logic and Foundations of Programming; Theory of Computation; Computer Hardware; Software Engineering; Formal Languages and Automata Theory; Special Purpose and Application-Based Systems; Computerhardware; Software Engineering; Wissensbasierte Systeme, Expertensysteme; EA

Symbolic verification of communication protocols with infinite state spaces using QDDs.- A conjunctively decomposed boolean representation for symbolic model checking.- Symbolic model checking using algebraic geometry.- A partition refinement algorithm for the ?-calculus.- Polynomial time algorithms for testing probabilistic bisimulation and simulation.- Pushdown processes: Games and model checking.- Module checking.- Automatic verification of parameterized synchronous systems.- HORNSAT, model checking, verification and games.- Verifying the SRT division algorithm using theorem proving techniques.- Modular verification of SRT division.- Mechanically verifying a family of multiplier circuits.- Verifying systems with replicated components in mur?.- Verification of arithmetic circuits by comparing two similar circuits.- Automated deduction and formal methods.- A platform for combining deductive with algorithmic verification.- Verifying invariants using theorem proving.- Deductive model checking.- Automated verification by induction with associative-commutative operators.- Analysis of timed systems based on time-abstracting bisimulations.- Verification of an Audio Protocol with bus collision using Uppaal.- Selective quantitative analysis and interval model checking: Verifying different facets of a system.- Verifying continuous time Markov chains.- Verifying safety properties of differential equations.- Temporal verification by diagram transformations.- Protocol verification by aggregation of distributed transactions.- Atomicity refinement and trace reduction theorems.- Powerful techniques for the automatic generation of invariants.- Saving space by fully exploiting invisible transitions.- Using on-the-fly verification techniques for the generation of test suites.- Automatic translation of natural language system specifications into temporal logic.- Verification of fair transition systems.- The state of Spin.- The Mur ? verification system.- The NCSU Concurrency Workbench.- The Concurrency Factory: A development environment for concurrent systems.- XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems.- EVP: Integration of FDTs for the analysis and verification of communication protocols.- PVS: Combining specification, proof checking, and model checking.- STeP: Deductive-algorithmic verification of reactive and real-time systems.- Symbolic model checking.- COSPAN.- VIS: A system for verification and synthesis.- MDG tools for the verification of RTL designs.- CADP a protocol validation and verification toolbox.- The FC2TOOLS set.- The Real-Time Graphical Interval Logic toolset.- The METAFrame'95 environment.- Verification Support Environment.- Marrella: A tool for simulation and verification.- Verifying the safety of a practical concurrent garbage collector.- Verification by behaviour abstraction.