↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Cover of 'Computer Aided Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
  3. Altmetric Badge
    Chapter 2 Verification of Deep Convolutional Neural Networks Using ImageStars
  4. Altmetric Badge
    Chapter 3 An Abstraction-Based Framework for Neural Network Verification
  5. Altmetric Badge
    Chapter 4 Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
  6. Altmetric Badge
    Chapter 5 Systematic Generation of Diverse Benchmarks for DNN Verification
  7. Altmetric Badge
    Chapter 6 Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
  8. Altmetric Badge
    Chapter 7 The Move Prover
  9. Altmetric Badge
    Chapter 8 End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
  10. Altmetric Badge
    Chapter 9 Stratified Abstraction of Access Control Policies
  11. Altmetric Badge
    Chapter 10 Synthesis of Super-Optimized Smart Contracts Using Max-SMT
  12. Altmetric Badge
    Chapter 11 Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
  13. Altmetric Badge
    Chapter 12 Validation of Abstract Side-Channel Models for Computer Architectures
  14. Altmetric Badge
    Chapter 13 Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
  15. Altmetric Badge
    Chapter 14 Refinement for Structured Concurrent Programs
  16. Altmetric Badge
    Chapter 15 Parameterized Verification of Systems with Global Synchronization and Guards
  17. Altmetric Badge
    Chapter 16 Hampa : Solver-Aided Recency-Aware Replication
  18. Altmetric Badge
    Chapter 17 Root Causing Linearizability Violations
  19. Altmetric Badge
    Chapter 18 Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
  20. Altmetric Badge
    Chapter 19 fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
  21. Altmetric Badge
    Chapter 20 Nonlinear Craig Interpolant Generation
  22. Altmetric Badge
    Chapter 21 Approximate Counting of Minimal Unsatisfiable Subsets
  23. Altmetric Badge
    Chapter 22 Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
  24. Altmetric Badge
    Chapter 23 Automated and Scalable Verification of Integer Multipliers
  25. Altmetric Badge
    Chapter 24 Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
  26. Altmetric Badge
    Chapter 25 TarTar : A Timed Automata Repair Tool
  27. Altmetric Badge
    Chapter 26 SAW: A Tool for Safety Analysis of Weakly-Hard Systems
  28. Altmetric Badge
    Chapter 27 PIRK : Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
  29. Altmetric Badge
    Chapter 28 AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
  30. Altmetric Badge
    Chapter 29 A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation
  31. Altmetric Badge
    Chapter 30 Reachability Analysis Using Message Passing over Tree Decompositions
  32. Altmetric Badge
    Chapter 31 Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
  33. Altmetric Badge
    Chapter 32 SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks
Attention for Chapter 2: Verification of Deep Convolutional Neural Networks Using ImageStars
Altmetric Badge

Mentioned by

3 X users


1 Dimensions

Readers on

32 Mendeley
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
Verification of Deep Convolutional Neural Networks Using ImageStars
Chapter number 2
Book title
Computer Aided Verification
Published by
Springer, Cham, July 2020
DOI 10.1007/978-3-030-53288-8_2
Book ISBNs
978-3-03-053287-1, 978-3-03-053288-8

Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson, Tran, Hoang-Dung, Bak, Stanley, Xiang, Weiming, Johnson, Taylor T.

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 32 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 16%
Student > Bachelor 4 13%
Student > Master 3 9%
Researcher 2 6%
Other 1 3%
Other 3 9%
Unknown 14 44%
Readers by discipline Count As %
Computer Science 13 41%
Engineering 3 9%
Physics and Astronomy 1 3%
Unknown 15 47%