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

Frontiers of Combining Systems

Overview of attention for book
Cover of 'Frontiers of Combining Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
  3. Altmetric Badge
    Chapter 2 Recurrence-Driven Summations in Automated Deduction
  4. Altmetric Badge
    Chapter 3 Formal Verification of Bit-Vector Invertibility Conditions in Coq
  5. Altmetric Badge
    Chapter 4 Weighted Path Orders Are Semantic Path Orders
  6. Altmetric Badge
    Chapter 5 KBO Constraint Solving Revisited
  7. Altmetric Badge
    Chapter 6 A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
  8. Altmetric Badge
    Chapter 7 Logic of Communication Interpretation: How to Not Get Lost in Translation
  9. Altmetric Badge
    Chapter 8 Symbolic Model Construction for Saturated Constrained Horn Clauses
  10. Altmetric Badge
    Chapter 9 Combining Finite Combination Properties: Finite Models and Busy Beavers
  11. Altmetric Badge
    Chapter 10 Formal Reasoning Using Distributed Assertions
  12. Altmetric Badge
    Chapter 11 An Abstract CNF-to-d-DNNF Compiler Based on Chronological CDCL
  13. Altmetric Badge
    Chapter 12 Hammering Floating-Point Arithmetic
  14. Altmetric Badge
    Chapter 13 Learning Proof Transformations and Its Applications in Interactive Theorem Proving
  15. Altmetric Badge
    Chapter 14 Translating SUMO-K to Higher-Order Set Theory
Attention for Chapter 3: Formal Verification of Bit-Vector Invertibility Conditions in Coq
Altmetric Badge

Mentioned by

twitter
1 X user
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
Formal Verification of Bit-Vector Invertibility Conditions in Coq
Chapter number 3
Book title
Frontiers of Combining Systems
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-43369-6_3
Book ISBNs
978-3-03-143368-9, 978-3-03-143369-6
Authors

Ekici, Burak, Viswanathan, Arjun, Zohar, Yoni, Tinelli, Cesare, Barrett, Clark

View on publisher site
X Demographics

X Demographics

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

This page is provided by Altmetric.