Computer Aided Verification (Record no. 188142)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06227nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-69195-2 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132455.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s1997 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540691952 |
| -- | 978-3-540-69195-2 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/3-540-63166-6 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA75.5-76.95 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Computer Aided Verification |
| Medium | [electronic resource] : |
| Remainder of title | 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / |
| Statement of responsibility, etc | edited by Orna Grumberg. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 1997. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 1997. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 492 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 1254 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Practical challenges for industrial formal verification tools -- Formal verification of digital systems, from ASICs to HW/SW codesign — a pragmatic approach -- The industrial success of verification tools based on stålmarck's method -- Formal verification — Applications & case studies -- Automatic abstraction techniques for propositional ?-calculus model checking -- A compositional rule for hardware design refinement -- Module checking revisited -- Using compositional preorders in the verification of sliding window protocol -- An efficient decision procedure for the theory of fixed-sized bit-vectors -- Construction of abstract state graphs with PVS -- Verification of a chemical process leak test procedure -- Automatic datapath extraction for efficient usage of HDD -- An n log n algorithm for online BDD refinement -- Weak bisimulation for fully probabilistic processes -- Towards a mechanization of cryptographic protocol verification -- Efficient model checking using tabled resolution -- Containment ofregular languages in non-regular timing diagram languages is decidable -- An improved reachability analysis method for strongly linear hybrid systems (extended abstract) -- Some progress in the symbolic verification of timed automata -- STARI: A case study in compositional and hierarchical timing verification -- A provably correct embedded verifier for the certification of safety critical software -- Model checking in a microprocessor design project -- Some thoughts on statecharts, 13 years later -- On-the-fly model checking under fairness that exploits symmetry -- Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation -- Parallelizing the Mur? verifier -- A new heuristic for bad cycle detection using BDDs -- Efficient detection of vacuity in ACTL formulas -- Model checking and transitive-closure logic -- Boolean and 2-adic numbers based techniques for verifying synchronous designs -- Programs with quasi-stable channels are effectively recognizable -- Combiningconstraint solving and symbolic model checking for a class of systems with non-linear constraints -- Relaxed visibility enhances partial order reduction -- Partial-order reduction in symbolic state space exploration -- Deadlock checking using net unfoldings -- Trace table based approach for pipelined microprocessor verification -- On combining formal and informal verification -- Efficient modeling of memory arrays in symbolic simulation -- Symbolic model checking of infinite state systems using presburger arithmetic -- Parametrized verification of linear networks using automata as invariants -- Symbolic model checking with rich assertional languages -- The invariant checker: Automated deductive verification of reactive systems -- The PEP tool -- TermiLog: A system for checking termination of queries to logic programs -- Mosel: A sound and efficient tool for M2L(Str) -- The verus tool: A quantitative approach to the formal verification of real-time systems -- Uppaal: Status & developments -- HyTech: Amodel checker for hybrid systems -- SMC: A symmetry based model checker for verification of liveness properties -- ?cke — Efficient ?-calculus model checking -- Prod 3.2 An advanced tool for efficient reachability analysis -- VeriSoft: A tool for the automatic analysis of concurrent reactive software -- RuleBase: Model checking at IBM. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computers, Special purpose. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Grumberg, Orna. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540631668 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662206973 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 1254 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-63166-6">https://doi.org/10.1007/3-540-63166-6</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.