Coverart for item
The Resource Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings, Pierre Wolper (Ed.)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings, Pierre Wolper (Ed.)

Label
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
Title
Computer aided verification
Title remainder
7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
Statement of responsibility
Pierre Wolper (Ed.)
Title variation
CAV 95
Creator
Contributor
Subject
Genre
Language
eng
Summary
"This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference."--PUBLISHER'S WEBSITE
Member of
Cataloging source
RRR
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
CAV (Conference)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Wolper, Pierre
Series statement
Lecture notes in computer science
Series volume
939
http://library.link/vocab/subjectName
  • Computer software
  • Electronic digital computers
Label
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings, Pierre Wolper (Ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Multipliers and Dividers: Insights on Arithmetic Circuit Verification / R.E. Bryant -- Global Rebuilding of OBDD's -- Avoiding Memory Requirement Maxima / J. Bern, C. Meinel and A. Slobodova -- Generating BDD Models for Process Algebra Terms / A. Dsouza and B. Bloom -- Hardware Verification Using Monadic Second-Order Logic / D.A. Basin and N. Klarlund -- Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms / B. Jonsson and L. Kempe -- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving / J. Dingel and T. Filkorn -- CAVEAT: Technique and Tool for Computer Aided VErification and Transformation / E.P. Gribomont and D. Rosetto -- An Integration of Model Checking with Automated Proof Checking / S. Rajan, N. Shankar and M.K. Srivas -- Automatic Datapath Abstraction in Hardware Systems / R. Hojati and R.K. Brayton -- Toupie = [mu]-Calculus + Constraints / A. Rauzy
Control code
32903576
Dimensions
24 cm
Extent
x, 450 pages
Isbn
9783540600459
Lccn
lum95051955
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1680988
Label
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings, Pierre Wolper (Ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Multipliers and Dividers: Insights on Arithmetic Circuit Verification / R.E. Bryant -- Global Rebuilding of OBDD's -- Avoiding Memory Requirement Maxima / J. Bern, C. Meinel and A. Slobodova -- Generating BDD Models for Process Algebra Terms / A. Dsouza and B. Bloom -- Hardware Verification Using Monadic Second-Order Logic / D.A. Basin and N. Klarlund -- Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms / B. Jonsson and L. Kempe -- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style Reasoning and Theorem Proving / J. Dingel and T. Filkorn -- CAVEAT: Technique and Tool for Computer Aided VErification and Transformation / E.P. Gribomont and D. Rosetto -- An Integration of Model Checking with Automated Proof Checking / S. Rajan, N. Shankar and M.K. Srivas -- Automatic Datapath Abstraction in Hardware Systems / R. Hojati and R.K. Brayton -- Toupie = [mu]-Calculus + Constraints / A. Rauzy
Control code
32903576
Dimensions
24 cm
Extent
x, 450 pages
Isbn
9783540600459
Lccn
lum95051955
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
System control number
(WaOLN)1680988

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...