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

Computer Aided Verification

Overview of attention for book
Computer Aided Verification
Springer International Publishing

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 2 Program Verification with Constrained Horn Clauses (Invited Paper)
  3. Altmetric Badge
    Chapter 3 Data-Driven Invariant Learning for Probabilistic Programs
  4. Altmetric Badge
    Chapter 4 Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
  5. Altmetric Badge
    Chapter 5 Does a Program Yield the Right Distribution?
  6. Altmetric Badge
    Chapter 6 Abstraction-Refinement for Hierarchical Probabilistic Models
  7. Altmetric Badge
    Chapter 7 Shared Certificates for Neural Network Verification
  8. Altmetric Badge
    Chapter 12 The Lattice-Theoretic Essence of Property Directed Reachability Analysis
  9. Altmetric Badge
    Chapter 13 Affine Loop Invariant Generation via Matrix Algebra
  10. Altmetric Badge
    Chapter 14 Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes
  11. Altmetric Badge
    Chapter 16 SolCMC: Solidity Compiler’s Model Checker
  12. Altmetric Badge
    Chapter 18 A Scalable Shannon Entropy Estimator
Attention for Chapter 16: SolCMC: Solidity Compiler’s Model Checker
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
SolCMC: Solidity Compiler’s Model Checker
Chapter number 16
Book title
Computer Aided Verification
Published by
Springer, Cham, August 2022
DOI 10.1007/978-3-031-13185-1_16
Book ISBNs
978-3-03-113184-4, 978-3-03-113185-1
Authors

Alt, Leonardo, Blicha, Martin, Hyvärinen, Antti E. J., Sharygina, Natasha

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

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.