↓ Skip to main content

Automated Technology for Verification and Analysis

Overview of attention for book
Cover of 'Automated Technology for Verification and Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks
  3. Altmetric Badge
    Chapter 2 Formal Specification for Deep Neural Networks
  4. Altmetric Badge
    Chapter 3 Optimal Proofs for Linear Temporal Logic on Lasso Words
  5. Altmetric Badge
    Chapter 4 What’s to Come is Still Unsure
  6. Altmetric Badge
    Chapter 5 A Formally Verified Motion Planner for Autonomous Vehicles
  7. Altmetric Badge
    Chapter 6 Robustness Testing of Intermediate Verifiers
  8. Altmetric Badge
    Chapter 7 Simulation Algorithms for Symbolic Automata
  9. Altmetric Badge
    Chapter 8 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems
  10. Altmetric Badge
    Chapter 9 Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
  11. Altmetric Badge
    Chapter 10 Synthesis in pMDPs: A Tale of 1001 Parameters
  12. Altmetric Badge
    Chapter 11 Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
  13. Altmetric Badge
    Chapter 12 Bisimilarity Distances for Approximate Differential Privacy
  14. Altmetric Badge
    Chapter 13 A Symbolic Algorithm for Lazy Synthesis of Eager Strategies
  15. Altmetric Badge
    Chapter 14 Modular Verification of Concurrent Programs via Sequential Model Checking
  16. Altmetric Badge
    Chapter 15 Quantifiers on Demand
  17. Altmetric Badge
    Chapter 16 Signal Convolution Logic
  18. Altmetric Badge
    Chapter 17 Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
  19. Altmetric Badge
    Chapter 18 Accelerated Model Checking of Parametric Markov Chains
  20. Altmetric Badge
    Chapter 19 Continuous-Time Markov Decisions Based on Partial Exploration
  21. Altmetric Badge
    Chapter 20 A Fragment of Linear Temporal Logic for Universal Very Weak Automata
  22. Altmetric Badge
    Chapter 21 Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
  23. Altmetric Badge
    Chapter 22 Round-Bounded Control of Parameterized Systems
  24. Altmetric Badge
    Chapter 23 PSense: Automatic Sensitivity Analysis for Probabilistic Programs
  25. Altmetric Badge
    Chapter 24 Information Leakage in Arbiter Protocols
  26. Altmetric Badge
    Chapter 25 Neural State Classification for Hybrid Systems
  27. Altmetric Badge
    Chapter 26 Bounded Synthesis of Reactive Programs
  28. Altmetric Badge
    Chapter 27 Maximum Realizability for Linear Temporal Logic Specifications
  29. Altmetric Badge
    Chapter 28 Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs
  30. Altmetric Badge
    Chapter 29 Bounded Synthesis of Register Transducers
  31. Altmetric Badge
    Chapter 30 EthIR : A Framework for High-Level Analysis of Ethereum Bytecode
  32. Altmetric Badge
    Chapter 31 MGH yper : Checking Satisfiability of HyperLTL Formulas Beyond the $$\exists ^*\forall ^*$$ ∃ ∗ ∀ ∗ Fragment
  33. Altmetric Badge
    Chapter 32 Verifying Rust Programs with SMACK
  34. Altmetric Badge
    Chapter 33 $$\mathcal {S}$$ BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
  35. Altmetric Badge
    Chapter 34 Owl: A Library for $$\omega $$ -Words, Automata, and LTL
  36. Altmetric Badge
    Chapter 35 EVE : A Tool for Temporal Equilibrium Analysis
Attention for Chapter 3: Optimal Proofs for Linear Temporal Logic on Lasso Words
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
3 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
Optimal Proofs for Linear Temporal Logic on Lasso Words
Chapter number 3
Book title
Automated Technology for Verification and Analysis
Published by
Springer, Cham, October 2018
DOI 10.1007/978-3-030-01090-4_3
Book ISBNs
978-3-03-001089-8, 978-3-03-001090-4
Authors

David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel, Basin, David, Bhatt, Bhargav Nagaraja, Traytel, Dmitriy

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 33%
Student > Doctoral Student 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 1 33%
Unknown 2 67%