swMATH4953MaRDI QIDQ17100FDOQ17100
Author name not available (Why is that?)
Official website: http://www.cfdvs.iitb.ac.in/~bhargav/dagger.php
Cited In (22)
- Sound non-statistical clustering of static analysis alarms
- Combinatorial abstraction refinement for feasibility analysis of static priorities
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- 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
- ARMC
- TRACER
- Interproc
- InvGen
- IKOS
- Refinement of Trace Abstraction
- Abstract Interpretation as Automated Deduction
- DyTa
- Bugbench
- Ultimate Taipan
- Refining abstract interpretations
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
- Why does Astrée scale up?
- Abstract interpretation as automated deduction
- Automatically Refining Abstract Interpretations
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
This page was built for software: Dagger
