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

Computer Aided Verification

Overview of attention for book
Computer Aided Verification
Springer Nature Switzerland

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Split Gröbner Bases for Satisfiability Modulo Finite Fields
  3. Altmetric Badge
    Chapter 2 Arithmetic Solving in Z3
  4. Altmetric Badge
    Chapter 3 Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
  5. Altmetric Badge
    Chapter 4 Distributed SMT Solving Based on Dynamic Variable-Level Partitioning
  6. Altmetric Badge
    Chapter 5 Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement
  7. Altmetric Badge
    Chapter 6 From Clauses to Klauses
  8. Altmetric Badge
    Chapter 7 CaDiCaL 2.0
  9. Altmetric Badge
    Chapter 8 Formally Certified Approximate Model Counting
  10. Altmetric Badge
    Chapter 9 Scalable Bit-Blasting with Abstractions
  11. Altmetric Badge
    Chapter 10 The MoXI Model Exchange Tool Suite
  12. Altmetric Badge
    Chapter 11 SMLP: Symbolic Machine Learning Prover
  13. Altmetric Badge
    Chapter 12 Avoiding the Shoals - A New Approach to Liveness Checking
  14. Altmetric Badge
    Chapter 13 Toward Liveness Proofs at Scale
  15. Altmetric Badge
    Chapter 14 Strided Difference Bound Matrices
  16. Altmetric Badge
    Chapter 15 The Top-Down Solver Verified: Building Confidence in Static Analyzers
  17. Altmetric Badge
    Chapter 16 End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT
  18. Altmetric Badge
    Chapter 17 A Framework for Debugging Automated Program Verification Proofs via Proof Actions
  19. Altmetric Badge
    Chapter 18 Verification Algorithms for Automated Separation Logic Verifiers
  20. Altmetric Badge
    Chapter 19 SMT-Based Symbolic Model-Checking for Operator Precedence Languages
  21. Altmetric Badge
    Chapter 20 On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches
  22. Altmetric Badge
    Chapter 21 Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates
  23. Altmetric Badge
    Chapter 22 Hevm, a Fast Symbolic Execution Framework for EVM Bytecode
  24. Altmetric Badge
    Chapter 23 SolTG : A CHC-Based Solidity Test Case Generator
  25. Altmetric Badge
    Chapter 24 Interactive Theorem Proving Modulo Fuzzing
Overall attention for this book and its chapters
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.
Title
Computer Aided Verification
Published by
Springer Nature Switzerland, July 2024
DOI 10.1007/978-3-031-65627-9
ISBNs
978-3-03-165626-2, 978-3-03-165627-9
Editors

Gurfinkel, Arie, Ganesh, Vijay

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

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.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.

This page is provided by Altmetric.