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