↓ Skip to main content

Formal Methods for Components and Objects

Overview of attention for book
Cover of 'Formal Methods for Components and Objects'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods for Components and Objects
  3. Altmetric Badge
    Chapter 2 Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
  4. Altmetric Badge
    Chapter 3 Control of Modular and Distributed Discrete-Event Systems
  5. Altmetric Badge
    Chapter 4 Model-Based Security Engineering with UML: Introducing Security Aspects
  6. Altmetric Badge
    Chapter 5 The Pragmatics of STAIRS
  7. Altmetric Badge
    Chapter 6 Smallfoot: Modular Automatic Assertion Checking with Separation Logic
  8. Altmetric Badge
    Chapter 7 Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
  9. Altmetric Badge
    Chapter 8 Beyond Bisimulation: The “up-to” Techniques
  10. Altmetric Badge
    Chapter 9 Separation Results Via Leader Election Problems
  11. Altmetric Badge
    Chapter 10 Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
  12. Altmetric Badge
    Chapter 11 Abstraction and Refinement in Model Checking
  13. Altmetric Badge
    Chapter 12 Program Compatibility Approaches
  14. Altmetric Badge
    Chapter 13 Cluster-Based LTL Model Checking of Large Systems
  15. Altmetric Badge
    Chapter 14 Safety and Liveness in Concurrent Pointer Programs
  16. Altmetric Badge
    Chapter 15 Modular Specification of Encapsulated Object-Oriented Components
  17. Altmetric Badge
    Chapter 16 Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
  18. Altmetric Badge
    Chapter 17 Boogie: A Modular Reusable Verifier for Object-Oriented Programs
  19. Altmetric Badge
    Chapter 18 On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
  20. Altmetric Badge
    Chapter 19 Partial Order Reduction for Markov Decision Processes: A Survey
Attention for Chapter 6: Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Altmetric Badge

Mentioned by

news
1 news outlet

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
74 Mendeley
citeulike
1 CiteULike
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
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Chapter number 6
Book title
Formal Methods for Components and Objects
Published by
Springer, Berlin, Heidelberg, November 2005
DOI 10.1007/11804192_6
Book ISBNs
978-3-54-036749-9, 978-3-54-036750-5
Authors

Josh Berdine, Cristiano Calcagno, Peter W. O’Hearn, Berdine, Josh, Calcagno, Cristiano, O’Hearn, Peter W.

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 3 4%
Vietnam 1 1%
India 1 1%
Sweden 1 1%
Japan 1 1%
China 1 1%
Unknown 66 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 26 35%
Researcher 10 14%
Student > Master 8 11%
Student > Bachelor 7 9%
Professor 4 5%
Other 13 18%
Unknown 6 8%
Readers by discipline Count As %
Computer Science 61 82%
Agricultural and Biological Sciences 2 3%
Arts and Humanities 1 1%
Decision Sciences 1 1%
Chemistry 1 1%
Other 1 1%
Unknown 7 9%