Coverart for item
The Resource Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers, Bernhard Beckert, Claude Marche (eds.), (electronic book)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers, Bernhard Beckert, Claude Marche (eds.), (electronic book)

Label
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Title
Formal verification of object-oriented software
Title remainder
international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers
Statement of responsibility
Bernhard Beckert, Claude Marche (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
no index present
LC call number
QA76.76.V47
LC item number
F68 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
FoVeOOS 2010
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Beckert, Bernhard
  • Marche, Claude
Series statement
Lecture notes in computer science,
Series volume
6528
http://library.link/vocab/subjectName
  • Computer software
  • Object-oriented methods (Computer science)
  • Formal methods (Computer science)
  • Paris <2010>
Label
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers, Bernhard Beckert, Claude Marche (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
From a Proven Correct Microkernel to Trustworthy Large Systems -- Static Contract Checking with Abstract Interpretation -- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? -- Validating Timed Models of Deployment Components with Parametric Concurrency -- Verification of Software Product Lines with Delta-Oriented Slicing -- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas -- Sawja: Static Analysis Workshop for Java -- CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties -- Specifying Imperative ML-Like Programs Using Dynamic Logic -- Dynamic Frames in Java Dynamic Logic -- A Refinement Methodology for Object-Oriented Programs -- A Dynamic Logic for Unstructured Programs with Embedded Assertions -- JMLUnit: The Next Generation
Control code
SPR704393873
Dimensions
unknown
Extent
1 online resource (x, 197 p.)
Form of item
online
Isbn
9783642180705
Other physical details
ill.
Specific material designation
remote
Label
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers, Bernhard Beckert, Claude Marche (eds.), (electronic book)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references
Color
multicolored
Contents
From a Proven Correct Microkernel to Trustworthy Large Systems -- Static Contract Checking with Abstract Interpretation -- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? -- Validating Timed Models of Deployment Components with Parametric Concurrency -- Verification of Software Product Lines with Delta-Oriented Slicing -- Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas -- Sawja: Static Analysis Workshop for Java -- CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties -- Specifying Imperative ML-Like Programs Using Dynamic Logic -- Dynamic Frames in Java Dynamic Logic -- A Refinement Methodology for Object-Oriented Programs -- A Dynamic Logic for Unstructured Programs with Embedded Assertions -- JMLUnit: The Next Generation
Control code
SPR704393873
Dimensions
unknown
Extent
1 online resource (x, 197 p.)
Form of item
online
Isbn
9783642180705
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...