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

Resource Information

The instance Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings, Bernhard Steffen, Giorgio Levi (eds) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540246220&Type=L

Label

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

Title remainder

5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Statement of responsibility

Bernhard Steffen, Giorgio Levi (eds)

Instantiates

• Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Publication

• Berlin | New York, Springer, ©2004

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

Record ID

.b130089667

Reformatting quality

unknown

Sound

unknown sound

Specific material designation

remote

System control number

(OCoLC)58395970