↓ 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 14: A $\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages
Altmetric Badge
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
A $\mathbb{K}$ -Based Formal Framework for Domain-Specific Modelling Languages
Chapter number 14
Book title
Formal Verification of Object-Oriented Software
Published by
Springer, Berlin, Heidelberg, October 2011
DOI 10.1007/978-3-642-31762-0_14
Book ISBNs
978-3-64-231761-3, 978-3-64-231762-0
Authors

Vlad Rusu, Dorel Lucanu

View on publisher site

This page is provided by Altmetric.