↓ Skip to main content

Software Engineering and Formal Methods

Overview of attention for book
Cover of 'Software Engineering and Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Methods in Energy Informatics
  3. Altmetric Badge
    Chapter 2 Formal Methods as a Link between Software Code and Legal Rules
  4. Altmetric Badge
    Chapter 3 Software Engineering and Formal Methods
  5. Altmetric Badge
    Chapter 4 Models and Communication in the Policy Process
  6. Altmetric Badge
    Chapter 5 Distributed Implementation of Systems with Multiparty Interactions and Priorities
  7. Altmetric Badge
    Chapter 6 Software Engineering and Formal Methods
  8. Altmetric Badge
    Chapter 7 Broadcast Psi-calculi with an Application to Wireless Protocols
  9. Altmetric Badge
    Chapter 8 A Formalisation of Java Strings for Program Specification and Verification
  10. Altmetric Badge
    Chapter 9 dCTL : A Branching Time Temporal Logic for Fault-Tolerant System Verification
  11. Altmetric Badge
    Chapter 10 A Machine-Checked Framework for Relational Separation Logic
  12. Altmetric Badge
    Chapter 11 A Dataflow Analysis to Improve SAT-Based Bounded Program Verification
  13. Altmetric Badge
    Chapter 12 Reverse Hoare Logic
  14. Altmetric Badge
    Chapter 13 Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
  15. Altmetric Badge
    Chapter 14 Verification of B  +  Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving
  16. Altmetric Badge
    Chapter 15 Runtime Verification of Component-Based Systems
  17. Altmetric Badge
    Chapter 16 Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
  18. Altmetric Badge
    Chapter 17 Safe Distribution of Declarative Processes
  19. Altmetric Badge
    Chapter 18 Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
  20. Altmetric Badge
    Chapter 19 Hybrid Specification of Reactive Systems: An Institutional Approach
  21. Altmetric Badge
    Chapter 20 Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems
  22. Altmetric Badge
    Chapter 21 Context-Bounded Model Checking of LTL Properties for ANSI-C Software
  23. Altmetric Badge
    Chapter 22 Modular Modelling of Software Product Lines with Feature Nets
  24. Altmetric Badge
    Chapter 23 Synchronizing Asynchronous Conformance Testing
  25. Altmetric Badge
    Chapter 24 Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications
  26. Altmetric Badge
    Chapter 25 ProMoVer: Modular Verification of Temporal Safety Properties
  27. Altmetric Badge
    Chapter 26 Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
  28. Altmetric Badge
    Chapter 27 Efficient Computation of Dominance in Component Systems (Short Paper)
  29. Altmetric Badge
    Chapter 28 The Boogie Verification Debugger (Tool Paper)
  30. Altmetric Badge
    Chapter 29 Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude
  31. Altmetric Badge
    Chapter 30 Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations
  32. Altmetric Badge
    Chapter 31 Development Policy Analysis in Mali: Sustainable Growth Prospects
  33. Altmetric Badge
    Chapter 32 Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence
  34. Altmetric Badge
    Chapter 33 Energy Consumption and CO 2 Emissions of Beijing Heating System: Based on a System Dynamics Model
  35. Altmetric Badge
    Chapter 34 A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries
Attention for Chapter 18: Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
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
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving
Chapter number 18
Book title
Software Engineering and Formal Methods
Published by
Springer, Berlin, Heidelberg, November 2011
DOI 10.1007/978-3-642-24690-6_18
Book ISBNs
978-3-64-224689-0, 978-3-64-224690-6
Authors

Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois, Jacquel, Mélanie, Berkani, Karim, Delahaye, David, Dubois, Catherine

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Engineering 1 100%