
HAMPI
 Referenced in 21 articles
[sw09864]
 Hampi: A Solver for String Constraints. Hampi is a solver for string constraints. Hampi...

Norn
 Referenced in 10 articles
[sw21853]
 Norn: an SMT solver for string constraints. We present version 1.0 of the Norn ... solver for string constraints. Norn is a solver for an expressive constraint language, including word...

Z3str3
 Referenced in 9 articles
[sw30519]
 Z3str3 is a constraint solver for the quantifierfree theory of string equations, the regular...

S3
 Referenced in 9 articles
[sw19495]
 symbolic string solver. Our solver employs a new algorithm for a constraint language that ... Specifically, our language covers all the main string operations, such as those in JavaScript...

Z3str2
 Referenced in 3 articles
[sw30520]
 regular expressions, and length constraints. In recent years, string solvers have become an essential component...

Kaluza
 Referenced in 2 articles
[sw12036]
 Kaluza constraint solver. Kaluza is a solver for multiple string variables of bounded length. Kaluza...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 power of stateoftheart constraint solvers for automata analysis that is both expressive ... transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...

Rex
 Referenced in 8 articles
[sw11888]
 explorer. Constraints in form regular expressions over strings are ubiquitous. They occur often in programming ... applications. Providing support for regular expression constraints in program analysis and testing has several useful ... analyzing regular expression constraints. Rex is implemented using the SMT solver Z3, and we provide...

PASS
 Referenced in 8 articles
[sw21858]
 structure to model strings, and converts string constraints into quantified expressions that are solved through ... reason about string values faster. Our method does not need to enumerate string lengths ... vector based methods do), or concrete string values (as automaton based methods do). Hence ... identify unsatisfiable cases quickly. Our solver (named PASS) supports most of the popular string operations...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

CUTE
 Referenced in 66 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

HOM4PS
 Referenced in 82 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 455 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...