↓ 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 Improved State Space Reductions for LTL Model Checking of C and C++ Programs
  3. Altmetric Badge
    Chapter 2 Regular Model Checking Using Solver Technologies and Automata Learning
  4. Altmetric Badge
    Chapter 3 Improved on-the-Fly Livelock Detection
  5. Altmetric Badge
    Chapter 4 Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking
  6. Altmetric Badge
    Chapter 5 Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing
  7. Altmetric Badge
    Chapter 6 SMT-Based Analysis of Biological Computation
  8. Altmetric Badge
    Chapter 7 Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems
  9. Altmetric Badge
    Chapter 8 Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
  10. Altmetric Badge
    Chapter 9 Inferring Automata with State-Local Alphabet Abstractions
  11. Altmetric Badge
    Chapter 10 Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers
  12. Altmetric Badge
    Chapter 11 Numerical Abstract Domain Using Support Functions
  13. Altmetric Badge
    Chapter 12 Widening as Abstract Domain
  14. Altmetric Badge
    Chapter 13 LiquidPi: Inferrable Dependent Session Types
  15. Altmetric Badge
    Chapter 14 Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution
  16. Altmetric Badge
    Chapter 15 Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding
  17. Altmetric Badge
    Chapter 16 Bounded Lazy Initialization
  18. Altmetric Badge
    Chapter 17 From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems
  19. Altmetric Badge
    Chapter 18 Automatically Detecting Inconsistencies in Program Specifications
  20. Altmetric Badge
    Chapter 19 BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
  21. Altmetric Badge
    Chapter 20 Towards Complete Specifications with an Error Calculus
  22. Altmetric Badge
    Chapter 21 A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
  23. Altmetric Badge
    Chapter 22 Statistical Model Checking of Wireless Mesh Routing Protocols
  24. Altmetric Badge
    Chapter 23 On-the-Fly Confluence Detection for Statistical Model Checking
  25. Altmetric Badge
    Chapter 24 Optimizing Control Strategy Using Statistical Model Checking
  26. Altmetric Badge
    Chapter 25 Formal Stability Analysis of Optical Resonators
  27. Altmetric Badge
    Chapter 26 Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
  28. Altmetric Badge
    Chapter 27 Verifying a Privacy CA Remote Attestation Protocol
  29. Altmetric Badge
    Chapter 28 Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory
  30. Altmetric Badge
    Chapter 29 Formal Verification of a Parameterized Data Aggregation Protocol
  31. Altmetric Badge
    Chapter 30 NASA Formal Methods
  32. Altmetric Badge
    Chapter 31 Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
  33. Altmetric Badge
    Chapter 32 Extracting Hybrid Automata from Control Code
  34. Altmetric Badge
    Chapter 33 PyNuSMV: NuSMV as a Python Library
  35. Altmetric Badge
    Chapter 34 jUnit RV –Adding Runtime Verification to jUnit
  36. Altmetric Badge
    Chapter 35 Using Language Engineering to Lift Languages and Analyses at the Domain Level
  37. Altmetric Badge
    Chapter 36 On Designing an ACL2-Based C Integer Type Safety Checking Tool
  38. Altmetric Badge
    Chapter 37 Hierarchical Safety Cases
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

googleplus
1 Google+ user

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
67 Mendeley
Summary Google+ 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, May 2013
DOI 10.1007/978-3-642-38088-4
ISBNs
978-3-64-238087-7, 978-3-64-238088-4
Editors

Brat, Guillaume, Rungta, Neha, Venet, Arnaud

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 1 1%
Unknown 66 99%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 9%
Student > Ph. D. Student 2 3%
Student > Bachelor 1 1%
Other 1 1%
Researcher 1 1%
Other 0 0%
Unknown 56 84%
Readers by discipline Count As %
Computer Science 8 12%
Engineering 2 3%
Unknown 57 85%

This page is provided by Altmetric.