↓ 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 Semantic Adversarial Deep Learning
  3. Altmetric Badge
    Chapter 2 From Programs to Interpretable Deep Models and Back
  4. Altmetric Badge
    Chapter 3 Formal Reasoning About the Security of Amazon Web Services
  5. Altmetric Badge
    Chapter 4 Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
  6. Altmetric Badge
    Chapter 5 Layered Concurrent Programs
  7. Altmetric Badge
    Chapter 6 Propositional Dynamic Logic for Higher-Order Functional Programs
  8. Altmetric Badge
    Chapter 7 Syntax-Guided Termination Analysis
  9. Altmetric Badge
    Chapter 8 Model Checking Quantitative Hyperproperties
  10. Altmetric Badge
    Chapter 9 Exploiting Synchrony and Symmetry in Relational Verification
  11. Altmetric Badge
    Chapter 10 JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
  12. Altmetric Badge
    Chapter 11 Eager Abstraction for Symbolic Model Checking
  13. Altmetric Badge
    Chapter 12 Fast Numerical Program Analysis with Reinforcement Learning
  14. Altmetric Badge
    Chapter 13 A Direct Encoding for NNC Polyhedra
  15. Altmetric Badge
    Chapter 14 What’s Hard About Boolean Functional Synthesis?
  16. Altmetric Badge
    Chapter 15 Counterexample Guided Inductive Synthesis Modulo Theories
  17. Altmetric Badge
    Chapter 16 Synthesizing Reactive Systems from Hyperproperties
  18. Altmetric Badge
    Chapter 17 Reactive Control Improvisation
  19. Altmetric Badge
    Chapter 18 Constraint-Based Synthesis of Coupling Proofs
  20. Altmetric Badge
    Chapter 19 Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics
  21. Altmetric Badge
    Chapter 20 Synthesis of Asynchronous Reactive Programs from Temporal Specifications
  22. Altmetric Badge
    Chapter 21 Syntax-Guided Synthesis with Quantitative Syntactic Objectives
  23. Altmetric Badge
    Chapter 22 Learning Abstractions for Program Synthesis
  24. Altmetric Badge
    Chapter 23 The Learnability of Symbolic Automata
  25. Altmetric Badge
    Chapter 24 Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes
  26. Altmetric Badge
    Chapter 25 Space-Time Interpolants
  27. Altmetric Badge
    Chapter 26 Monitoring Weak Consistency
  28. Altmetric Badge
    Chapter 27 Monitoring CTMCs by Multi-clock Timed Automata
  29. Altmetric Badge
    Chapter 28 Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
  30. Altmetric Badge
    Chapter 29 A Counting Semantics for Monitoring LTL Specifications over Finite Traces
  31. Altmetric Badge
    Chapter 30 Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
  32. Altmetric Badge
    Chapter 31 Strix: Explicit Reactive Synthesis Strikes Back!
  33. Altmetric Badge
    Chapter 32 Btor2 , BtorMC and Boolector 3.0
  34. Altmetric Badge
    Chapter 33 Nagini: A Static Verifier for Python
  35. Altmetric Badge
    Chapter 34 Peregrine: A Tool for the Analysis of Population Protocols
  36. Altmetric Badge
    Chapter 35 ADAC: Automated Design of Approximate Circuits
  37. Altmetric Badge
    Chapter 36 Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
  38. Altmetric Badge
    Chapter 37 Sound Value Iteration
  39. Altmetric Badge
    Chapter 38 Safety-Aware Apprenticeship Learning
  40. Altmetric Badge
    Chapter 39 Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
patent
2 patents
wikipedia
1 Wikipedia page

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
29 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.
Title
Computer Aided Verification
Published by
Springer International Publishing, August 2018
DOI 10.1007/978-3-319-96145-3
ISBNs
978-3-31-996144-6, 978-3-31-996145-3
Editors

Hana Chockler, Georg Weissenbacher

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 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 29 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 29 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 5 17%
Student > Ph. D. Student 5 17%
Student > Doctoral Student 3 10%
Student > Bachelor 3 10%
Researcher 3 10%
Other 4 14%
Unknown 6 21%
Readers by discipline Count As %
Computer Science 13 45%
Engineering 7 24%
Unspecified 1 3%
Social Sciences 1 3%
Economics, Econometrics and Finance 1 3%
Other 0 0%
Unknown 6 21%