Coverart for item
The Resource Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings, Bernhard Steffen, Giorgio Levi (eds)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings, Bernhard Steffen, Giorgio Levi (eds)

Label
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Title
Verification, model checking, and abstract interpretation
Title remainder
5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Statement of responsibility
Bernhard Steffen, Giorgio Levi (eds)
Title variation
VMCAI 2004
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004. The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous
Member of
Cataloging source
N$T
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
V53 2004eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
VMCAI 2004
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1942-
  • 2004
http://library.link/vocab/relatedWorkOrContributorName
  • Steffen, Bernhard
  • Levi, G.
  • ACM Symposium on Principles of Programming Languages
Series statement
Lecture notes in computer science,
Series volume
2937
http://library.link/vocab/subjectName
  • Computer programs
  • COMPUTERS
  • Computer programs
  • Abstrakte Interpretation
  • Formale Methode
  • Kongress
  • Model Checking
  • Programmanalyse
  • Programmverifikation
  • Vérification de logiciels
  • Model-checking (Informatique)
  • Méthode formelle
Label
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings, Bernhard Steffen, Giorgio Levi (eds)
Instantiates
Publication
Note
Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Tutorial -- Security, Protocols, and Trust -- Security -- Security Types Preserving Compilation -- History-Dependent Scheduling for Cryptographic Processes -- Formal Methods I -- Construction of a Semantic Model for a Typed Assembly Language -- Rule-Based Runtime Verification -- On the Expressive Power of Canonical Abstraction -- Boolean Algebra of Shape Analysis Constraints -- Approximate Probabilistic Model Checking -- Completeness and Complexity of Bounded Model Checking -- Model Checking for Object Specifications in Hidden Algebra -- Formal Methods II -- Model Checking Polygonal Differential Inclusions Using Invariance Kernels -- Checking Interval Based Properties for Reactive Systems -- Widening Operators for Powerset Domains -- Type Inference for Parameterized Race-Free Java -- Certifying Temporal Properties for Compiled C Programs -- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking -- Static Analysis versus Software Model Checking for Bug Finding -- Automatic Inference of Class Invariants -- Liveness with Invisible Ranking -- A Complete Method for the Synthesis of Linear Ranking Functions -- Symbolic Implementation of the Best Transformer -- Formal Methods III -- Constructing Quantified Invariants via Predicate Abstraction -- Analysis of Recursive Game Graphs Using Data Flow Equations -- Applying Jlint to Space Exploration Software -- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone -- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Control code
58395970
Dimensions
unknown
Extent
1 online resource (xi, 324 pages)
File format
unknown
Form of item
online
Isbn
9783540246220
Lccn
2004043677
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b94790
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)58395970
Label
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings, Bernhard Steffen, Giorgio Levi (eds)
Publication
Note
Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Tutorial -- Security, Protocols, and Trust -- Security -- Security Types Preserving Compilation -- History-Dependent Scheduling for Cryptographic Processes -- Formal Methods I -- Construction of a Semantic Model for a Typed Assembly Language -- Rule-Based Runtime Verification -- On the Expressive Power of Canonical Abstraction -- Boolean Algebra of Shape Analysis Constraints -- Approximate Probabilistic Model Checking -- Completeness and Complexity of Bounded Model Checking -- Model Checking for Object Specifications in Hidden Algebra -- Formal Methods II -- Model Checking Polygonal Differential Inclusions Using Invariance Kernels -- Checking Interval Based Properties for Reactive Systems -- Widening Operators for Powerset Domains -- Type Inference for Parameterized Race-Free Java -- Certifying Temporal Properties for Compiled C Programs -- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking -- Static Analysis versus Software Model Checking for Bug Finding -- Automatic Inference of Class Invariants -- Liveness with Invisible Ranking -- A Complete Method for the Synthesis of Linear Ranking Functions -- Symbolic Implementation of the Best Transformer -- Formal Methods III -- Constructing Quantified Invariants via Predicate Abstraction -- Analysis of Recursive Game Graphs Using Data Flow Equations -- Applying Jlint to Space Exploration Software -- Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone -- A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Control code
58395970
Dimensions
unknown
Extent
1 online resource (xi, 324 pages)
File format
unknown
Form of item
online
Isbn
9783540246220
Lccn
2004043677
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b94790
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)58395970

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...