Description |
1 online resource (x, 249 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 7421 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7421. 1611-3349
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Modular Verification of Object-Based Programs Abstract of Invited Talk / 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 / 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 / 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 / Vlad Rusu and Dorel Lucanu -- Verification of Information Flow Properties of Java Programs without Approximations / Christoph Scheben and Peter H. Schmitt |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Information Systems |
|
Programming Techniques |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Management of Computing and Information Systems |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 10, 2012) |
Subject |
Computer software -- Verification -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Object-oriented programming (Computer science) -- Congresses
|
|
Informatique.
|
|
Computer software -- Verification
|
|
Formal methods (Computer science)
|
|
Object-oriented programming (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Beckert, Bernhard.
|
|
Damiani, Ferruccio.
|
|
Gurov, Dilian
|
ISBN |
9783642317620 |
|
3642317626 |
|
3642317618 |
|
9783642317613 |
|