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.), (electronic 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.), (electronic resource)

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
  • Annotation:
  • 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
  • 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
Cataloging source
CaPaEBR
Dewey number
005.14
LC call number
QA76.76.V47
LC item number
F68 2011eb
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
FoVeOOS (Conference)
http://library.link/vocab/relatedWorkOrContributorName
  • Beckert, Bernhard
  • Damiani, Ferruccio
  • Gurov, Dilian
  • ebrary, Inc
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary.
Series volume
7421
http://library.link/vocab/subjectName
  • Computer software
  • Formal methods (Computer science)
  • Object-oriented programming (Computer science)
Summary expansion
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
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.), (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Contents
Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011 -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? -- Isolation Types and Multi-core Architectures -- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings -- Integration of Bounded Model Checking and Deductive Verification -- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems -- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode -- An Abstract JVM -- A Verified Implementation of Priority Monitors in Java -- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification -- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios -- A K-Based Formal Framework for Domain-Specific Modelling Languages -- Verification of Information Flow Properties of Java Programs without Approximations
Control code
OCM1bookssj0000745960
Dimensions
unknown
Isbn
9783642317620
Specific material designation
remote
System control number
(WaSeSS)bookssj0000745960
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.), (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Contents
Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011 -- The Practical Application of Formal Methods: Where Is the Benefit for Industry? -- Isolation Types and Multi-core Architectures -- Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings -- Integration of Bounded Model Checking and Deductive Verification -- A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems -- Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode -- An Abstract JVM -- A Verified Implementation of Priority Monitors in Java -- Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification -- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios -- A K-Based Formal Framework for Domain-Specific Modelling Languages -- Verification of Information Flow Properties of Java Programs without Approximations
Control code
OCM1bookssj0000745960
Dimensions
unknown
Isbn
9783642317620
Specific material designation
remote
System control number
(WaSeSS)bookssj0000745960

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 ...