- Referenced in 264 articles
- In the core computer science areas -- data structures...
- Referenced in 104 articles
- Possibly not closed convex polyhedra and the Parma...
- Referenced in 61 articles
- The Octagon Abstract Domain Library is a free...
- Referenced in 115 articles
- The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation...
- Referenced in 11 articles
- zapato: Automatic theorem proving for predicate abstraction refinement...