↓ 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 Multi-purpose Syntax Definition with SDF3
  3. Altmetric Badge
    Chapter 2 Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector
  4. Altmetric Badge
    Chapter 3 Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
  5. Altmetric Badge
    Chapter 4 End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK
  6. Altmetric Badge
    Chapter 5 Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification
  7. Altmetric Badge
    Chapter 6 Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study
  8. Altmetric Badge
    Chapter 7 FRed: Conditional Model Checking via Reducers and Folders
  9. Altmetric Badge
    Chapter 8 Difference Verification with Conditions
  10. Altmetric Badge
    Chapter 9 A Formal Modeling Approach for Portable Low-Level OS Functionality
  11. Altmetric Badge
    Chapter 10 Model-Based Testing Under Parametric Variability of Uncertain Beliefs
  12. Altmetric Badge
    Chapter 11 Hoare-Style Logic for Unstructured Programs
  13. Altmetric Badge
    Chapter 12 Synthesis of P-Stable Abstractions
  14. Altmetric Badge
    Chapter 13 Runtime Verification of Contracts with Themulus
  15. Altmetric Badge
    Chapter 14 Sound C Code Decompilation for a Subset of x86-64 Binaries
  16. Altmetric Badge
    Chapter 15 Statically Checking REST API Consumers
  17. Altmetric Badge
    Chapter 16 A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
  18. Altmetric Badge
    Chapter 17 Formal Verification of Human-Robot Interaction in Healthcare Scenarios
Attention for Chapter 1: Multi-purpose Syntax Definition with SDF3
Altmetric Badge

Mentioned by

5 tweeters
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
Multi-purpose Syntax Definition with SDF3
Chapter number 1
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, September 2020
DOI 10.1007/978-3-030-58768-0_1
Book ISBNs
978-3-03-058767-3, 978-3-03-058768-0

Luís Eduardo de Souza Amorim, Eelco Visser, de Souza Amorim, Luís Eduardo, Visser, Eelco

Twitter Demographics

The data shown below were collected from the profiles of 5 tweeters who shared this research output. Click here to find out more about how the information was compiled.