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

Tests and Proofs

Overview of attention for book
Cover of 'Tests and Proofs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Automatic Test-Case Generation with CoVeriTest (Extended Abstract)
  3. Altmetric Badge
    Chapter 2 $$\textsc {Reach}$$ R E A C H on Register Automata via History Independence
  4. Altmetric Badge
    Chapter 3 Bddl: A Type System for Binary Decision Diagrams
  5. Altmetric Badge
    Chapter 4 Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
  6. Altmetric Badge
    Chapter 5 Fuzzing and Delta Debugging And-Inverter Graph Verification Tools
  7. Altmetric Badge
    Chapter 6 A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
  8. Altmetric Badge
    Chapter 7 Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing
Attention for Chapter 4: Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Altmetric Badge

Mentioned by

twitter
2 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
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
Chapter number 4
Book title
Tests and Proofs
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-09827-7_4
Book ISBNs
978-3-03-109826-0, 978-3-03-109827-7
Authors

Nagashima, Yutaka

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 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.