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

Static Analysis

Overview of attention for book
Cover of 'Static Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Specification-Guided Reinforcement Learning
  3. Altmetric Badge
    Chapter 2 Towards Efficient Reasoning of Quantum Programs
  4. Altmetric Badge
    Chapter 3 Solving Invariant Generation for Unsolvable Loops
  5. Altmetric Badge
    Chapter 4 Principles of Staged Static+Dynamic Partial Analysis
  6. Altmetric Badge
    Chapter 5 SecWasm: Information Flow Control for WebAssembly
  7. Altmetric Badge
    Chapter 6 Lifting Numeric Relational Domains to Algebraic Data Types
  8. Altmetric Badge
    Chapter 7 Automated Synthesis of Asynchronizations
  9. Altmetric Badge
    Chapter 8 Case Study on Verification-Witness Validators: Where We Are and Where We Go
  10. Altmetric Badge
    Chapter 9 Deciding Program Properties via Complete Abstractions on Bounded Domains
  11. Altmetric Badge
    Chapter 10 Invariant Inference with Provable Complexity from the Monotone Theory
  12. Altmetric Badge
    Chapter 11 Efficient Modular SMT-Based Model Checking of Pointer Programs
  13. Altmetric Badge
    Chapter 12 Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation
  14. Altmetric Badge
    Chapter 13 Bootstrapping Library-Based Synthesis
  15. Altmetric Badge
    Chapter 14 Boosting Robustness Verification of Semantic Feature Neighborhoods
  16. Altmetric Badge
    Chapter 15 Fast and Incremental Computation of Weak Control Closure
  17. Altmetric Badge
    Chapter 16 Local Completeness Logic on Kleene Algebra with Tests
  18. Altmetric Badge
    Chapter 17 Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
  19. Altmetric Badge
    Chapter 18 Parameterized Recursive Refinement Types for Automated Program Verification
  20. Altmetric Badge
    Chapter 19 Adversarial Logic
  21. Altmetric Badge
    Chapter 20 CLEVEREST : Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Overall attention for this book and its chapters
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.
Title
Static Analysis
Published by
Springer Nature Switzerland, December 2022
DOI 10.1007/978-3-031-22308-2
ISBNs
978-3-03-122307-5, 978-3-03-122308-2
Editors

Singh, Gagandeep, Urban, Caterina

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.