↓ 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
Attention for Chapter 2: From Software Specifications to Constraint Programming
Altmetric Badge
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
From Software Specifications to Constraint Programming
Chapter number 2
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, June 2018
DOI 10.1007/978-3-319-92970-5_2
Book ISBNs
978-3-31-992969-9, 978-3-31-992970-5
Authors

Stefan Hallerstede, Miran Hasanagić, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel, Hallerstede, Stefan, Hasanagić, Miran, Krings, Sebastian, Larsen, Peter Gorm, Leuschel, Michael