↓ Skip to main content

Verified Software: Theories, Tools, Experiments

Overview of attention for book
Cover of 'Verified Software: Theories, Tools, Experiments'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
  3. Altmetric Badge
    Chapter 2 Towards a Worldwide Verification Technology
  4. Altmetric Badge
    Chapter 3 It Is Time to Mechanize Programming Language Metatheory
  5. Altmetric Badge
    Chapter 4 Methods and Tools for Formal Software Engineering
  6. Altmetric Badge
    Chapter 5 The Verified Software Challenge: A Call for a Holistic Approach to Reliability
  7. Altmetric Badge
    Chapter 6 A Mini Challenge: Build a Verifiable Filesystem
  8. Altmetric Badge
    Chapter 7 A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets
  9. Altmetric Badge
    Chapter 8 Some Interdisciplinary Observations about Getting the “Right” Specification
  10. Altmetric Badge
    Chapter 9 Software Verification and Software Engineering a Practitioner’s Perspective
  11. Altmetric Badge
    Chapter 10 Decomposing Verification Around End-User Features
  12. Altmetric Badge
    Chapter 11 Automatic Verification of Strongly Dynamic Software Systems
  13. Altmetric Badge
    Chapter 12 Reasoning about Object Structures Using Ownership
  14. Altmetric Badge
    Chapter 13 Modular Reasoning in Object-Oriented Programming
  15. Altmetric Badge
    Chapter 14 Scalable Specification and Reasoning: Challenges for Program Logic
  16. Altmetric Badge
    Chapter 15 Lessons from the JML Project
  17. Altmetric Badge
    Chapter 16 The Spec# Programming System: Challenges and Directions
  18. Altmetric Badge
    Chapter 17 Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification
  19. Altmetric Badge
    Chapter 18 Automated Test Generation and Verified Software
  20. Altmetric Badge
    Chapter 19 Dependent Types, Theorem Proving, and Applications for a Verifying Compiler
  21. Altmetric Badge
    Chapter 20 Generating Programs Plus Proofs by Refinement
  22. Altmetric Badge
    Chapter 21 The Verification Grand Challenge and Abstract Interpretation
  23. Altmetric Badge
    Chapter 22 WYSINWYX: What You See Is Not What You eXecute
  24. Altmetric Badge
    Chapter 23 Implications of a Data Structure Consistency Checking System
  25. Altmetric Badge
    Chapter 24 Towards the Integration of Symbolic and Numerical Static Analysis
  26. Altmetric Badge
    Chapter 25 Reliable Software Systems Design: Defect Prevention, Detection, and Containment
  27. Altmetric Badge
    Chapter 26 Trends and Challenges in Algorithmic Software Verification
  28. Altmetric Badge
    Chapter 27 Model Checking: Back and Forth between Hardware and Software
  29. Altmetric Badge
    Chapter 28 Computational Logical Frameworks and Generic Program Analysis Technologies
  30. Altmetric Badge
    Chapter 29 A Mechanized Program Verifier
  31. Altmetric Badge
    Chapter 30 Verifying Design with Proof Scores
  32. Altmetric Badge
    Chapter 31 Integrating Theories and Techniques for Program Modelling, Design and Verification
  33. Altmetric Badge
    Chapter 32 Eiffel as a Framework for Verification
  34. Altmetric Badge
    Chapter 33 Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges
  35. Altmetric Badge
    Chapter 34 Verified Software: The Real Grand Challenge
  36. Altmetric Badge
    Chapter 35 Linking the Meaning of Programs to What the Compiler Can Verify
  37. Altmetric Badge
    Chapter 36 Scalable Software Model Checking Using Design for Verification
  38. Altmetric Badge
    Chapter 37 Model-Checking Software Using Precise Abstractions
  39. Altmetric Badge
    Chapter 38 Toasters, Seat Belts, and Inferring Program Properties
  40. Altmetric Badge
    Chapter 39 On the Formal Development of Safety-Critical Software
  41. Altmetric Badge
    Chapter 40 Verify Your Runs
  42. Altmetric Badge
    Chapter 41 Specified Blocks
  43. Altmetric Badge
    Chapter 42 A Case for Specification Validation
  44. Altmetric Badge
    Chapter 43 Some Verification Issues at NASA Goddard Space Flight Center
  45. Altmetric Badge
    Chapter 44 Performance Validation on Multicore Mobile Devices
  46. Altmetric Badge
    Chapter 45 Tool Integration for Reasoned Programming
  47. Altmetric Badge
    Chapter 46 Decision Procedures for the Grand Challenge
  48. Altmetric Badge
    Chapter 47 The Challenge of Hardware-Software Co-verification
  49. Altmetric Badge
    Chapter 48 From the How to the What
  50. Altmetric Badge
    Chapter 49 An Overview of Separation Logic
  51. Altmetric Badge
    Chapter 50 A Perspective on Program Verification
  52. Altmetric Badge
    Chapter 51 Meta-Logical Frameworks and Formal Digital Libraries
  53. Altmetric Badge
    Chapter 52 Languages, Ambiguity, and Verification
  54. Altmetric Badge
    Chapter 53 The Importance of Non-theorems and Counterexamples in Program Verification
  55. Altmetric Badge
    Chapter 54 Regression Verification - A Practical Way to Verify Programs
  56. Altmetric Badge
    Chapter 55 Programming with Proofs: Language-Based Approaches to Totally Correct Software
  57. Altmetric Badge
    Chapter 56 Verified Software: Theories, Tools, Experiments
  58. Altmetric Badge
    Chapter 57 Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
  59. Altmetric Badge
    Chapter 58 Program Verification by Using DISCOVERER
  60. Altmetric Badge
    Chapter 59 Constraint Solving and Symbolic Execution
Attention for Chapter 39: On the Formal Development of Safety-Critical Software
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
13 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
On the Formal Development of Safety-Critical Software
Chapter number 39
Book title
Verified Software: Theories, Tools, Experiments
Published by
Springer, Berlin, Heidelberg, January 2008
DOI 10.1007/978-3-540-69149-5_39
Book ISBNs
978-3-54-069147-1, 978-3-54-069149-5
Authors

Andy Galloway, Frantz Iwu, John McDermid, Ian Toyn, Galloway, Andy, Iwu, Frantz, McDermid, John, Toyn, Ian

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 States 1 8%
Unknown 12 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 38%
Researcher 2 15%
Student > Postgraduate 2 15%
Other 1 8%
Professor > Associate Professor 1 8%
Other 1 8%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 9 69%
Unspecified 1 8%
Business, Management and Accounting 1 8%
Engineering 1 8%
Unknown 1 8%