• Aspic

  • Referenced in 24 articles [sw04954]
  • widening operator to enforce the convergence of fixpoint computations. While the approximation due to widening ... increase of delay. Previous attempts at improving the precision of widening are not completely satisfactory...
  • HR-SQL

  • Referenced in 1 article [sw32283]
  • extending SQL with hypothetical reasoning and improved recursion for current database systems. In this work ... extended language is founded on a stratified fixpoint semantics based on logic programming techniques...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • PSPLIB

  • Referenced in 269 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • SDPA

  • Referenced in 185 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • Yices

  • Referenced in 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • LLVM

  • Referenced in 89 articles [sw04892]
  • The LLVM Project is a collection of modular...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • Automatically refining abstract interpretations. Abstract interpretation techniques prove...
  • PPL

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

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...