Results 1 to 5 of 5
Sort by:

  • 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...