
Aspic
 Referenced in 24 articles
[sw04954]
 enforce the convergence of fixpoint computations. While the approximation due to widening can be arbitrarily...

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

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

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

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

AUTO
 Referenced in 942 articles
[sw01059]
 AUTO is a software for continuation and bifurcation...

PRISM
 Referenced in 442 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

Kronos
 Referenced in 273 articles
[sw01270]
 KRONOS is a tool developed with the aim...

ASSAT
 Referenced in 175 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

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

SPIN
 Referenced in 723 articles
[sw03455]
 Spin is a popular opensource software tool...

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

Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

SeDuMi
 Referenced in 1272 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 697 articles
[sw04009]
 This software is designed to solve conic programming...

MIPLIB
 Referenced in 328 articles
[sw04067]
 A mixed integer (linear) program (mip) is an...

UCIml
 Referenced in 3397 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...