The Resource Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, edited by Orna Grumberg, (electronic resource)

Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, edited by Orna Grumberg, (electronic resource)

Label
Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Title
Computer Aided Verification
Title remainder
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
Statement of responsibility
edited by Orna Grumberg
Creator
Contributor
Editor
Editor
Subject
Language
  • eng
  • eng
Summary
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
Member of
Dewey number
004.0151
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
0Gkqcs-LTXM
Image bit depth
0
Language note
English
LC call number
QA75.5-76.95
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
http://library.link/vocab/relatedWorkOrContributorName
Grumberg, Orna.
Series statement
Lecture Notes in Computer Science,
Series volume
1254
http://library.link/vocab/subjectName
  • Information theory
  • Logic design
  • Software engineering
  • Computer science
  • Artificial intelligence
  • Theory of Computation
  • Logics and Meanings of Programs
  • Software Engineering
  • Mathematical Logic and Formal Languages
  • Special Purpose and Application-Based Systems
  • Artificial Intelligence
Label
Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, edited by Orna Grumberg, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
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 of regular 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 -- Combining constraint 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: A model 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
Dimensions
unknown
Edition
1st ed. 1997.
Extent
1 online resource (XII, 492 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540691952
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/3-540-63166-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000234662
  • (SSID)ssj0000322082
  • (PQKBManifestationID)11282752
  • (PQKBTitleCode)TC0000322082
  • (PQKBWorkID)10282616
  • (PQKB)10418328
  • (DE-He213)978-3-540-69195-2
  • (EXLCZ)991000000000234662
Label
Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings, edited by Orna Grumberg, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Color
not applicable
Content category
text
Content type code
  • txt
Contents
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 of regular 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 -- Combining constraint 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: A model 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
Dimensions
unknown
Edition
1st ed. 1997.
Extent
1 online resource (XII, 492 p.)
File format
multiple file formats
Form of item
online
Isbn
9783540691952
Level of compression
uncompressed
Media category
computer
Media type code
  • c
Other control number
10.1007/3-540-63166-6
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)1000000000234662
  • (SSID)ssj0000322082
  • (PQKBManifestationID)11282752
  • (PQKBTitleCode)TC0000322082
  • (PQKBWorkID)10282616
  • (PQKB)10418328
  • (DE-He213)978-3-540-69195-2
  • (EXLCZ)991000000000234662

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...