↓ Skip to main content
What is this page? Embed badge

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 A Unifying Approach for Control-Flow-Based Loop Abstraction
  3. Altmetric Badge
    Chapter 2 Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers
  4. Altmetric Badge
    Chapter 3 Information Exchange Between Over- and Underapproximating Software Analyses
  5. Altmetric Badge
    Chapter 4 A Query Language for Language Analysis
  6. Altmetric Badge
    Chapter 5 Field-Sensitive Program Slicing
  7. Altmetric Badge
    Chapter 6 SPouT : Symbolic Path Recording During Testing - A Concolic Executor for the  JVM
  8. Altmetric Badge
    Chapter 7 Cooperation Between Automatic and Interactive Software Verifiers
  9. Altmetric Badge
    Chapter 8 Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications
  10. Altmetric Badge
    Chapter 9 A Program Slicer for Java (Tool Paper)
  11. Altmetric Badge
    Chapter 10 Constrained Training of Recurrent Neural Networks for Automata Learning
  12. Altmetric Badge
    Chapter 11 Neural Network Verification Using Residual Reasoning
  13. Altmetric Badge
    Chapter 12 Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning
  14. Altmetric Badge
    Chapter 13 Information Flow Control-by-Construction for an Object-Oriented Language
  15. Altmetric Badge
    Chapter 14 Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
  16. Altmetric Badge
    Chapter 15 SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
  17. Altmetric Badge
    Chapter 16 Weighted Games for User Journeys
  18. Altmetric Badge
    Chapter 17 Safety Controller Synthesis for a Mobile Manufacturing Cobot
  19. Altmetric Badge
    Chapter 18 Timely Specification Repair for Alloy 6
  20. Altmetric Badge
    Chapter 19 BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
  21. Altmetric Badge
    Chapter 20 CHA : Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)
  22. Altmetric Badge
    Chapter 21 Runtime Verification with Imperfect Information Through Indistinguishability Relations
  23. Altmetric Badge
    Chapter 22 Runtime Enforcement for IEC 61499 Applications
Attention for Chapter 21: Runtime Verification with Imperfect Information Through Indistinguishability Relations
Altmetric Badge

Mentioned by

twitter
3 X users
Summary X
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
Runtime Verification with Imperfect Information Through Indistinguishability Relations
Chapter number 21
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-17108-6_21
Book ISBNs
978-3-03-117107-9, 978-3-03-117108-6
Authors

Ferrando, Angelo, Malvone, Vadim

View on publisher site
X Demographics

X Demographics

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

This page is provided by Altmetric.