Coverart for item
The Resource Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers, Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)

Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers, Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)

Label
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers
Title
Formal verification of object-oriented software
Title remainder
International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers
Statement of responsibility
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)
Title variation
FoVeOOS 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 - organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C♯. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
LC item number
F68 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
FoVeOOS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Beckert, Bernhard
  • Damiani, Ferruccio
  • Gurov, Dilian
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7421
http://library.link/vocab/subjectName
  • Computer software
  • Formal methods (Computer science)
  • Object-oriented programming (Computer science)
  • Informatique
  • Computer software
  • Formal methods (Computer science)
  • Object-oriented programming (Computer science)
Label
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers, Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author 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
  • Alan Mycroft
  • Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
  • Peter Y.H. Wong, Nikolay Diakov and Ina Schaefer
  • Modeling and Analyzing the Interaction of C and C++ Strings
  • Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić and Aarti Gupta, et al.
  • Integration of Bounded Model Checking and Deductive Verification
  • Bernhard Beckert, Thorsten Bormer, Florian Merz and Carsten Sinz
  • A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems
  • Lucian Bentea and Olaf Owe
  • Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
  • Modular Verification of Object-Based Programs
  • Marc Brockschmidt, Thomas Ströder, Carsten Otto and Jürgen Giesl
  • Juggrnaut -- An Abstract JVM
  • Jonathan Heinen, Henrik Barthels and Christina Jansen
  • A Verified Implementation of Priority Monitors in Java
  • Ángel Herranz and Julio Mariño
  • Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification
  • Marieke Huisman and Tri Minh Ngo
  • A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
  • Einar Broch Johnsen, Rudolf Schlatte and S. Lizeth Tapia Tarifa
  • A \mathbbKK -Based Formal Framework for Domain-Specific Modelling Languages
  • Abstract of Invited Talk
  • Vlad Rusu and Dorel Lucanu
  • Verification of Information Flow Properties of Java Programs without Approximations
  • Christoph Scheben and Peter H. Schmitt
  • Anindya Banerjee
  • The COST IC0701 Verification Competition 2011
  • Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst and Jean-Christophe Filliâtre, et al.
  • The Practical Application of Formal Methods: Where Is the Benefit for Industry?
  • James J. Hunt
  • Isolation Types and Multi-core Architectures
Control code
801063555
Dimensions
unknown
Extent
1 online resource (x, 249 pages)
File format
unknown
Form of item
online
Isbn
9783642317620
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)801063555
Label
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers, Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author 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
  • Alan Mycroft
  • Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
  • Peter Y.H. Wong, Nikolay Diakov and Ina Schaefer
  • Modeling and Analyzing the Interaction of C and C++ Strings
  • Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić and Aarti Gupta, et al.
  • Integration of Bounded Model Checking and Deductive Verification
  • Bernhard Beckert, Thorsten Bormer, Florian Merz and Carsten Sinz
  • A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems
  • Lucian Bentea and Olaf Owe
  • Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
  • Modular Verification of Object-Based Programs
  • Marc Brockschmidt, Thomas Ströder, Carsten Otto and Jürgen Giesl
  • Juggrnaut -- An Abstract JVM
  • Jonathan Heinen, Henrik Barthels and Christina Jansen
  • A Verified Implementation of Priority Monitors in Java
  • Ángel Herranz and Julio Mariño
  • Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification
  • Marieke Huisman and Tri Minh Ngo
  • A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
  • Einar Broch Johnsen, Rudolf Schlatte and S. Lizeth Tapia Tarifa
  • A \mathbbKK -Based Formal Framework for Domain-Specific Modelling Languages
  • Abstract of Invited Talk
  • Vlad Rusu and Dorel Lucanu
  • Verification of Information Flow Properties of Java Programs without Approximations
  • Christoph Scheben and Peter H. Schmitt
  • Anindya Banerjee
  • The COST IC0701 Verification Competition 2011
  • Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst and Jean-Christophe Filliâtre, et al.
  • The Practical Application of Formal Methods: Where Is the Benefit for Industry?
  • James J. Hunt
  • Isolation Types and Multi-core Architectures
Control code
801063555
Dimensions
unknown
Extent
1 online resource (x, 249 pages)
File format
unknown
Form of item
online
Isbn
9783642317620
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)801063555

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...