• PPL

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

  • Referenced in 120 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • Groovy

  • Referenced in 4 articles [sw26072]
  • Apache Groovy is a powerful, optionally typed and...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • Cibai: An abstract interpretation-based static analyzer for...