|
" Formal verification of object-oriented software : "
FoVeOOS 2011, Turin, Italy, October 5-7, 2011 ; Bernhard Beckert [und weitere] (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
778165
|
| Doc. No
|
:
|
b598175
|
| Main Entry
|
:
|
FoVeOOS 2011, Turin, Italy, October 5-7, 2011 ; Bernhard Beckert [und weitere] (eds.).
|
| Title & Author
|
:
|
Formal verification of object-oriented software : : international conference : revised selected papers\ FoVeOOS 2011, Turin, Italy, October 5-7, 2011 ; Bernhard Beckert [und weitere] (eds.).
|
| Publication Statement
|
:
|
Berlin : Springer, 2012
|
| Series Statement
|
:
|
Lecture notes in computer science, 7421
|
| Page. NO
|
:
|
249 Seiten : Illustrationen
|
| ISBN
|
:
|
3642317618
|
|
|
:
|
: 3642317626
|
|
|
:
|
: 9783642317613
|
|
|
:
|
: 9783642317620
|
| 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.
|
| Subject
|
:
|
Objektorientierung
|
| Subject
|
:
|
Softwareprodukt
|
| Subject
|
:
|
Verifikation
|
| Added Entry
|
:
|
Bernhard Beckert
|
| |