↓ Skip to main content
What is this page? Embed badge

NASA Formal Methods

Overview of attention for book
Cover of 'NASA Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 SMT-Based Model Checking
  3. Altmetric Badge
    Chapter 2 Verified Software Toolchain
  4. Altmetric Badge
    Chapter 3 Formal Verification by Abstract Interpretation
  5. Altmetric Badge
    Chapter 4 Quantitative Timed Analysis of Interactive Markov Chains
  6. Altmetric Badge
    Chapter 5 Lessons Learnt from the Adoption of Formal Model-Based Development
  7. Altmetric Badge
    Chapter 6 Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines
  8. Altmetric Badge
    Chapter 7 Inferring Definite Counterexamples through Under-Approximation
  9. Altmetric Badge
    Chapter 8 Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging
  10. Altmetric Badge
    Chapter 9 Rigorous Polynomial Approximation Using Taylor Models in Co q
  11. Altmetric Badge
    Chapter 10 Enhancing the Inverse Method with State Merging
  12. Altmetric Badge
    Chapter 11 Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages
  13. Altmetric Badge
    Chapter 12 Testing Static Analyzers with Randomly Generated Programs
  14. Altmetric Badge
    Chapter 13 Compositional Verification of Architectural Models
  15. Altmetric Badge
    Chapter 14 A Safety Case Pattern for Model-Based Development Approach
  16. Altmetric Badge
    Chapter 15 PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
  17. Altmetric Badge
    Chapter 16 Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements
  18. Altmetric Badge
    Chapter 17 Some Steps into Verification of Exact Real Arithmetic
  19. Altmetric Badge
    Chapter 18 Runtime Verification Meets Android Security
  20. Altmetric Badge
    Chapter 19 Specification in PDL with Recursion
  21. Altmetric Badge
    Chapter 20 Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study
  22. Altmetric Badge
    Chapter 21 Sound Formal Verification of Linux’s USB BP Keyboard Driver
  23. Altmetric Badge
    Chapter 22 Learning Markov Models for Stationary System Behaviors
  24. Altmetric Badge
    Chapter 23 The Use of Rippling to Automate Event-B Invariant Preservation Proofs
  25. Altmetric Badge
    Chapter 24 Thread-Modular Model Checking with Iterative Refinement
  26. Altmetric Badge
    Chapter 25 Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs
  27. Altmetric Badge
    Chapter 26 Integrating Statechart Components in Polyglot
  28. Altmetric Badge
    Chapter 27 Using PVS to Investigate Incidents through the Lens of Distributed Cognition
  29. Altmetric Badge
    Chapter 28 Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
  30. Altmetric Badge
    Chapter 29 Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems
  31. Altmetric Badge
    Chapter 30 Generating Verifiable Java Code from Verified PVS Specifications
  32. Altmetric Badge
    Chapter 31 Belief Bisimulation for Hidden Markov Models
  33. Altmetric Badge
    Chapter 32 Abstract Model Repair
  34. Altmetric Badge
    Chapter 33 CLSE: Closed-Loop Symbolic Execution
  35. Altmetric Badge
    Chapter 34 On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
  36. Altmetric Badge
    Chapter 35 Incremental Verification with Mode Variable Invariants in State Machines
  37. Altmetric Badge
    Chapter 36 A Semantic Analysis of Wireless Network Security Protocols
  38. Altmetric Badge
    Chapter 37 Runtime Verification with Predictive Semantics
  39. Altmetric Badge
    Chapter 38 A Case Study in Verification of Embedded Network Software
  40. Altmetric Badge
    Chapter 39 Checking and Distributing Statistical Model Checking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 Mendeley
Summary X Dimensions citations
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
NASA Formal Methods
Published by
Springer Berlin Heidelberg, January 2012
DOI 10.1007/978-3-642-28891-3
ISBNs
978-3-64-228890-6, 978-3-64-228891-3
Editors

Goodloe, Alwyn E., Person, Suzette, Goodloe, Alwyn E., Person, Suzette

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 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 > Ph. D. Student 1 100%
Student > Bachelor 1 100%
Readers by discipline Count As %
Computer Science 1 100%
Engineering 1 100%

This page is provided by Altmetric.