↓ Skip to main content

FME'96: Industrial Benefit and Advances in Formal Methods

Overview of attention for book
Cover of 'FME'96: Industrial Benefit and Advances in Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 77 How did software get so reliable without proof?
  3. Altmetric Badge
    Chapter 78 A case study on the formal development of a reactor safety system
  4. Altmetric Badge
    Chapter 79 Test automation for safety-critical systems: Industrial application and future developments
  5. Altmetric Badge
    Chapter 80 Quantitative analysis of an application of formal methods
  6. Altmetric Badge
    Chapter 81 Applying the B technologies to CICS
  7. Altmetric Badge
    Chapter 82 Refining action systems within B-Tool
  8. Altmetric Badge
    Chapter 83 Integrating action systems and Z in a medical system specification
  9. Altmetric Badge
    Chapter 84 Formalizing Anaesthesia: A case study in formal specification
  10. Altmetric Badge
    Chapter 85 A new system engineering methodology coupling formal specification and performance evaluation
  11. Altmetric Badge
    Chapter 86 Formalizing new navigation requirements for NASA's Space Shuttle
  12. Altmetric Badge
    Chapter 87 Combining VDM-SL specifications with C++ code
  13. Altmetric Badge
    Chapter 88 Data reification without explicit abstraction functions
  14. Altmetric Badge
    Chapter 89 Formal and informal specifications of a secure system component: Final results in a comparative study
  15. Altmetric Badge
    Chapter 90 Visual verification of safety and liveness
  16. Altmetric Badge
    Chapter 91 Graphical development of consistent system specifications
  17. Altmetric Badge
    Chapter 92 Deduction in the Verification Support Environment (VSE)
  18. Altmetric Badge
    Chapter 93 Consistency and refinement for partial specification in Z
  19. Altmetric Badge
    Chapter 94 Combining statecharts and Z for the design of safety-critical control systems
  20. Altmetric Badge
    Chapter 95 Integrating real-time scheduling theory and program refinement
  21. Altmetric Badge
    Chapter 96 Using a logical and categorical approach for the validation of fault-tolerant systems
  22. Altmetric Badge
    Chapter 97 Local nondeterminism in asynchronously communicating processes
  23. Altmetric Badge
    Chapter 98 Identification of and solutions to shortcomings of LCL, a Larch/C interface specification language
  24. Altmetric Badge
    Chapter 99 Formal specification and verification of the pGVT algorithm
  25. Altmetric Badge
    Chapter 100 Automatic verification of a hydroelectric power plant
  26. Altmetric Badge
    Chapter 101 Experiences in embedded scheduling
  27. Altmetric Badge
    Chapter 102 Model checking in practice: An analysis of the ACCESS.bus ™ protocol using SPIN
  28. Altmetric Badge
    Chapter 103 The incremental development of correct specifications for distributed systems
  29. Altmetric Badge
    Chapter 104 A theory of distributing train rescheduling
  30. Altmetric Badge
    Chapter 105 FME'96: Industrial Benefit and Advances in Formal Methods
  31. Altmetric Badge
    Chapter 106 From testing theory to test driver implementation
  32. Altmetric Badge
    Chapter 107 Program slicing using weakest preconditions
  33. Altmetric Badge
    Chapter 108 A formal approach to architectural design patterns
  34. Altmetric Badge
    Chapter 109 Modular completeness: Integrating the reuse of specified software in top-down program development
  35. Altmetric Badge
    Chapter 110 A strategic approach to transformational design
  36. Altmetric Badge
    Chapter 111 Correct and user-friendly implementations of transformation systems
  37. Altmetric Badge
    Chapter 112 An example of use of formal methods to debug an embedded software
  38. Altmetric Badge
    Chapter 113 Experiments in theorem proving and model checking for protocol verification
  39. Altmetric Badge
    Chapter 114 Procedure-level verification of real-time concurrent systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
13 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.
Title
FME'96: Industrial Benefit and Advances in Formal Methods
Published by
Springer Science & Business Media, March 1996
DOI 10.1007/3-540-60973-3
ISBNs
978-3-54-060973-5, 978-3-54-049749-3
Editors

Gaudel, Marie-Claude, Woodcock, James

X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 8%
Denmark 1 8%
Brazil 1 8%
Unknown 10 77%

Demographic breakdown

Readers by professional status Count As %
Researcher 4 31%
Student > Ph. D. Student 2 15%
Student > Master 2 15%
Lecturer 1 8%
Student > Bachelor 1 8%
Other 2 15%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 10 77%
Business, Management and Accounting 1 8%
Engineering 1 8%
Unknown 1 8%