• LIBSVM

  • Referenced in 1114 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • Predator

  • Referenced in 17 articles [sw07396]
  • Predator: a tool for verification of low-level...
  • TVLA

  • Referenced in 33 articles [sw09878]
  • TVLA: A System for Implementing Static Analyses. We...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • FixBag: A Fixpoint Calculator for Quantified Bag Constraints...
  • MemCAD

  • Referenced in 1 article [sw21714]
  • The MemCAD project aims at designing a framework...