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

Verification, Model Checking, and Abstract Interpretation

Overview of attention for book
Cover of 'Verification, Model Checking, and Abstract Interpretation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Runtime Error Detection During Development in the Automotive Industry
  3. Altmetric Badge
    Chapter 2 Abstract Interpretation-Based Feature Importance for Support Vector Machines
  4. Altmetric Badge
    Chapter 3 Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
  5. Altmetric Badge
    Chapter 4 Correctness Witness Validation by Abstract Interpretation
  6. Altmetric Badge
    Chapter 5 Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
  7. Altmetric Badge
    Chapter 6 Parameterized Verification of Disjunctive Timed Networks
  8. Altmetric Badge
    Chapter 7 Resilience and Home-Space for WSTS
  9. Altmetric Badge
    Chapter 8 Generic Model Checking for Modal Fixpoint Logics in COOL-MC
  10. Altmetric Badge
    Chapter 9 Model-Guided Synthesis for  LTL over Finite Traces
  11. Altmetric Badge
    Chapter 10 Solving Two-Player Games Under Progress Assumptions
  12. Altmetric Badge
    Chapter 11 Interpolation and Quantifiers in Ortholattices
  13. Altmetric Badge
    Chapter 12 Function Synthesis for Maximizing Model Counting
  14. Altmetric Badge
    Chapter 13 Boosting Constrained Horn Solving by Unsat Core Learning
  15. Altmetric Badge
    Chapter 14 On the Verification of the Correctness of a Subgraph Construction Algorithm
  16. Altmetric Badge
    Chapter 15 Efficient Local Search for Nonlinear Real Arithmetic
Attention for Chapter 5: Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Altmetric Badge
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
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Chapter number 5
Book title
Verification, Model Checking, and Abstract Interpretation
Published by
Springer, Cham, January 2024
DOI 10.1007/978-3-031-50524-9_5
Book ISBNs
978-3-03-150523-2, 978-3-03-150524-9
Authors

Amat, Nicolas, Dal Zilio, Silvano, Le Botlan, Didier

View on publisher site

This page is provided by Altmetric.