A scalable segmented decision tree abstract domain

DOI10.1007/978-3-642-13754-9_5zbMATH Open1288.68040OpenAlexW1518995377MaRDI QIDQ3587252FDOQ3587252

Authors: Patrick Cousot, Radhia Cousot, Laurent Mauborgne 

Publication date: 7 September 2010

Published in: Time for Verification (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00543632/file/segmentation.pdf

Recommendations

• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• Why does Astrée scale up?
• Fast polyhedra abstract domain
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Static Analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Programming Languages and Systems
• A parametric segmentation functor for fully automatic and scalable array content analysis
• The octagon abstract domain
• Graph-Based Algorithms for Boolean Function Manipulation
• A lattice-theoretical fixpoint theorem and its applications
• Abstract interpretation and application to logic programs
• Systematic design of program transformation frameworks by abstract interpretation
• Static analysis of arithmetical congruences
• Abstract Interpretation Frameworks
• Verification by abstract interpretation
• Title not available (Why is that?)
• Abstract interpretation using typed decision graphs
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Range and set abstraction using SAT
• \textsf{TreeKs}: a functor to make numerical abstract domains scalable
• A decision tree lifted domain for analyzing program families with numerical features
• Partitioned memory models for program analysis
• Quadtrees as an abstract domain
• A parametric segmentation functor for fully automatic and scalable array content analysis
• Finding suitable variability abstractions for lifted analysis
• Title not available (Why is that?)
• String abstract domains and their combination
• Why does Astrée scale up?
• Quantitative program sketching using lifted static analysis
• Access-based localization for octagons

Uses Software

• ASTREE

This page was built for publication: A scalable segmented decision tree abstract domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587252)