Dagger
From MaRDI portal
Cited in
(23)- Apron
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- ARMC
- Interproc
- TRACER
- InvGen
- Abstract interpretation as automated deduction
- IKOS
- Sound non-statistical clustering of static analysis alarms
- Refinement of Trace Abstraction
- Abstract Interpretation as Automated Deduction
- DyTa
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
- Bugbench
- Ultimate Taipan
- An iterative approach to precondition inference using constrained Horn clauses
- Non-monotonic refinement of control abstraction for concurrent programs
- Optimization and analysis of decision trees and rules: dynamic programming approach
- Automatically Refining Abstract Interpretations
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
- Refining abstract interpretations
- Why does Astrée scale up?
- Combinatorial abstraction refinement for feasibility analysis of static priorities
This page was built for software: Dagger
