↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An O ( m  log  n ) algorithm for branching bisimilarity on labelled transition systems
  3. Altmetric Badge
    Chapter 2 Verifying Quantum Communication Protocols with Ground Bisimulation
  4. Altmetric Badge
    Chapter 3 Deciding the Bisimilarity of Context-Free Session Types
  5. Altmetric Badge
    Chapter 4 Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
  6. Altmetric Badge
    Chapter 5 How Many Bits Does it Take to Quantize Your Neural Network?
  7. Altmetric Badge
    Chapter 6 Highly Automated Formal Proofs over Memory Usage of Assembly Code
  8. Altmetric Badge
    Chapter 7 GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
  9. Altmetric Badge
    Chapter 8 CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering
  10. Altmetric Badge
    Chapter 9 Practical Machine-Checked Formalization of Change Impact Analysis
  11. Altmetric Badge
    Chapter 10 What’s Decidable About Program Verification Modulo Axioms?
  12. Altmetric Badge
    Chapter 11 Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
  13. Altmetric Badge
    Chapter 12 Fold/Unfold Transformations for Fixpoint Logic
  14. Altmetric Badge
    Chapter 13 Verifying OpenJDK’s LinkedList using KeY
  15. Altmetric Badge
    Chapter 14 Analysing installation scenarios of Debian packages
  16. Altmetric Badge
    Chapter 15 Endicheck: Dynamic Analysis for Detecting Endianness Bugs
  17. Altmetric Badge
    Chapter 16 Describing and Simulating Concurrent Quantum Systems
  18. Altmetric Badge
    Chapter 17 EMTST: Engineering the Meta-theory of Session Types
  19. Altmetric Badge
    Chapter 18 Solving Mean-Payoff Games via Quasi Dominions
  20. Altmetric Badge
    Chapter 19 Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
  21. Altmetric Badge
    Chapter 20 Polynomial Identification of $$\omega $$ -Automata
  22. Altmetric Badge
    Chapter 21 Advances in Automatic Software Verification: SV-COMP 2020
  23. Altmetric Badge
    Chapter 22 2LS: Heap Analysis and Memory Safety
  24. Altmetric Badge
    Chapter 23 COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)
  25. Altmetric Badge
    Chapter 24 Dartagnan : Bounded Model Checking for Weak Memory Models (Competition Contribution)
  26. Altmetric Badge
    Chapter 25 VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
  27. Altmetric Badge
    Chapter 26 GACAL: Conjecture-Based Verification
  28. Altmetric Badge
    Chapter 27 Java Ranger at SV-COMP 2020 (Competition Contribution)
  29. Altmetric Badge
    Chapter 28 JD art : Dynamic Symbolic Execution for J ava Bytecode (Competition Contribution)
  30. Altmetric Badge
    Chapter 29 Map2Check: Using Symbolic Execution and Fuzzing
  31. Altmetric Badge
    Chapter 30 PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
  32. Altmetric Badge
    Chapter 31 Symbiotic 7: Integration of Predator and More
  33. Altmetric Badge
    Chapter 32 Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions
Attention for Chapter 11: Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
Altmetric Badge


6 Dimensions

Readers on

2 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
Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting
Chapter number 11
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer, Cham, April 2020
DOI 10.1007/978-3-030-45237-7_11
Book ISBNs
978-3-03-045236-0, 978-3-03-045237-7

Alexander Lochmann, Aart Middeldorp, Lochmann, Alexander, Middeldorp, Aart

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Unknown 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%