↓ 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 3: Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Altmetric Badge

Readers on

mendeley
11 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.
Chapter title
Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems
Chapter number 3
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, September 2020
DOI 10.1007/978-3-030-58768-0_3
Book ISBNs
978-3-03-058767-3, 978-3-03-058768-0
Authors

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén, Shokri-Manninen, Fatima, Vain, Jüri, Waldén, Marina

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 11 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 3 27%
Student > Master 3 27%
Professor 1 9%
Other 1 9%
Student > Ph. D. Student 1 9%
Other 0 0%
Unknown 2 18%
Readers by discipline Count As %
Computer Science 4 36%
Engineering 3 27%
Physics and Astronomy 1 9%
Unknown 3 27%