↓ Skip to main content
What is this page? Embed badge

Formal Verification of Object-Oriented Software

Overview of attention for book
Cover of 'Formal Verification of Object-Oriented Software'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Modular Verification of Object-Based Programs
  3. Altmetric Badge
    Chapter 2 The COST IC0701 Verification Competition 2011
  4. Altmetric Badge
    Chapter 3 The Practical Application of Formal Methods: Where Is the Benefit for Industry?
  5. Altmetric Badge
    Chapter 4 Formal Verification of Object-Oriented Software
  6. Altmetric Badge
    Chapter 5 Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study
  7. Altmetric Badge
    Chapter 6 Modeling and Analyzing the Interaction of C and C++ Strings
  8. Altmetric Badge
    Chapter 7 Integration of Bounded Model Checking and Deductive Verification
  9. Altmetric Badge
    Chapter 8 A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems
  10. Altmetric Badge
    Chapter 9 Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
  11. Altmetric Badge
    Chapter 10 Juggrnaut – An Abstract JVM
  12. Altmetric Badge
    Chapter 11 A Verified Implementation of Priority Monitors in Java
  13. Altmetric Badge
    Chapter 12 Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification
  14. Altmetric Badge
    Chapter 13 A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
  15. Altmetric Badge
    Chapter 14 A $\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages
  16. Altmetric Badge
    Chapter 15 Verification of Information Flow Properties of Java Programs without Approximations
Attention for Chapter 9: Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
Altmetric Badge

Readers on

mendeley
2 Mendeley
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode
Chapter number 9
Book title
Formal Verification of Object-Oriented Software
Published by
Springer, Berlin, Heidelberg, October 2011
DOI 10.1007/978-3-642-31762-0_9
Book ISBNs
978-3-64-231761-3, 978-3-64-231762-0
Authors

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.