↓ 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 We Need a Testability Transformation Semantics
  3. Altmetric Badge
    Chapter 2 From Software Specifications to Constraint Programming
  4. Altmetric Badge
    Chapter 3 Automated Specification Extraction and Analysis with Specstractor
  5. Altmetric Badge
    Chapter 4 Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
  6. Altmetric Badge
    Chapter 5 Program Verification for Exception Handling on Active Objects Using Futures
  7. Altmetric Badge
    Chapter 6 Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems
  8. Altmetric Badge
    Chapter 7 F ast L ane Is Opaque – a Case Study in Mechanized Proofs of Opacity
  9. Altmetric Badge
    Chapter 8 Monte Carlo Tree Search for Finding Costly Paths in Programs
  10. Altmetric Badge
    Chapter 9 A Cloud-Based Execution Framework for Program Analysis
  11. Altmetric Badge
    Chapter 10 Cross-Architecture Lifter Synthesis
  12. Altmetric Badge
    Chapter 11 Counterexample Simplification for Liveness Property Violation
  13. Altmetric Badge
    Chapter 12 Online Enumeration of All Minimal Inductive Validity Cores
  14. Altmetric Badge
    Chapter 13 $$\mathcal {P}revent$$ : A Predictive Run-Time Verification Framework Using Statistical Learning
  15. Altmetric Badge
    Chapter 14 Formal Verification of Platoon Control Strategies
  16. Altmetric Badge
    Chapter 15 Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover
  17. Altmetric Badge
    Chapter 16 Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation
  18. Altmetric Badge
    Chapter 17 Graph-Based Shape Analysis Beyond Context-Freeness
  19. Altmetric Badge
    Chapter 18 Facilitating Component Reusability in Embedded Systems with GPUs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 news outlet

Readers on

4 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.
Software Engineering and Formal Methods
Published by
Springer International Publishing, May 2018
DOI 10.1007/978-3-319-92970-5
978-3-31-992969-9, 978-3-31-992970-5

Johnsen, Einar Broch, Schaefer, Ina

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 25%
Student > Master 1 25%
Unknown 2 50%
Readers by discipline Count As %
Computer Science 2 50%
Unknown 2 50%