• LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • PPL

  • Referenced in 104 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • The Octagon Abstract Domain Library is a free...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation...
  • Zapato

  • Referenced in 11 articles [sw25425]
  • zapato: Automatic theorem proving for predicate abstraction refinement...