
CESAR
 Referenced in 157 articles
[sw08510]
 high level language inspired from CSP and specifications are a set of formulas...

Casper
 Referenced in 95 articles
[sw06559]
 simple, abstract language, and produce a CSP description of the same protocol, suitable for checking...

Circus
 Referenced in 88 articles
[sw21828]
 refinement; it is a unification of imperative CSP, Z, and the refinement calculus. We describe...

Choco
 Referenced in 62 articles
[sw06254]
 java library for constraint satisfaction problems (CSP) and constraint programming (CP). It is built...

FDR2
 Referenced in 58 articles
[sw11466]
 establishing properties of models expressed in CSP. An unlicensed version of FDR2 is available...

Clingcon
 Referenced in 34 articles
[sw09892]
 monolithic answer set solver Clingo and the CSP solver Gecode. Clingcon is an answer ... driven learning and theory propagation for the CSP solver...

Sugar
 Referenced in 24 articles
[sw09758]
 based Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded to a Boolean CNF formula ... solve Constraint Optimization Problems (COP) and MaxCSP. Sugar is an award winning solver ... global constraint categories at the International CSP Solver Competitions ... four categories at the 2008 International MaxCSP Solver Competition. See the results of Sugar...

CUTGEN1
 Referenced in 42 articles
[sw14833]
 Standard Onedimensional Cutting Stock Problem (1DCSP) is developed. The problem is defined...

FINDER
 Referenced in 40 articles
[sw06376]
 domain enumerator. This is a finite domain CSP solver, rather limited in what...

csp2B
 Referenced in 21 articles
[sw07703]
 csp2B: A practical approach to combining CSP and B. This paper describes the tool csp2B ... which provides a means of combining CSPlike descriptions with standard B specifications. The notation ... CSP provides a convenient way of describing the order in which the operations ... function of the tool is to convert CSPlike specifications into standard machinereadable...

FDR3
 Referenced in 22 articles
[sw12387]
 FDR3 — A Modern Refinement Checker for CSP. FDR3 is a complete rewrite ... CSP refinement checker FDR2, incorporating a significant number of enhancements. In this paper we describe ... uses to construct its internal representation of CSP processes—this algorithm is more efficient than ... able to compile a large class of CSP processes to more efficient internal representations...

CSPprover
 Referenced in 15 articles
[sw11465]
 CSPProver is an interactive theorem prover dedicated to refinement proofs within the process algebra ... CSP. It aims specifically at proofs on infinite state systems, which may also involve infinite ... determinism. For this reason, CSPProver currently focuses on the stable failures model ... underlying denotational semantics of CSP. Semantically, CSPProver offers both classical approaches to denotational semantics...

CoCasl
 Referenced in 26 articles
[sw13076]
 Prentice Hall (1989; Zbl 0683.68008)] and CSP [C. A. R. Hoare, Communicating sequential processes. Englewood...

SUNNY
 Referenced in 11 articles
[sw31800]
 solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance reached by SUNNY ... approaches, we developed sunnycsp, an effective portfolio solver that exploits the underlying SUNNY algorithm ... order to solve a given CSP. Empirical tests conducted on exhaustive benchmarks of MiniZinc models ... show that the actual performance of sunnycsp conforms to the predictions. This is encouraging...

CCSP
 Referenced in 14 articles
[sw00111]
 distributed execution environment based on Hoare’s CSP which allows for the execution and evaluation ... embedded assertions within the CSP program...

Proteus
 Referenced in 10 articles
[sw10080]
 leverage advances in both SAT and CSP solving to present a novel hierarchical portfoliobased ... approach to CSP solving, which we call Proteus, that does not rely purely ... CSP solvers. Instead, it may decide that it is best to encode a CSP problem ... instance of Proteus that involved four CSP solvers, three SAT encodings, and six SAT solvers...

Isabelle/Circus
 Referenced in 13 articles
[sw15208]
 specifications, using an integration of Z and CSP with a refinement calculus. Its semantics...

Azucar
 Referenced in 5 articles
[sw10083]
 Azucar: A SATBased CSP Solver Using Compact Order Encoding. This paper describes ... based CSP solver Azucar. Azucar solves a finite CSP by encoding it into ... version of an awardwinning SATbased CSP solver Sugar. Through some experiments, we confirmed ... encode and solve very large domain sized CSP instances which Sugar can not encode...

SensorDCSP
 Referenced in 7 articles
[sw30992]
 Sensor networks and distributed CSP: communication, computation and complexity. We introduce SensorDCSP, a naturally distributed ... order to study the performance of Distributed CSP (DisCSP) algorithms in a truly distributed setting...

Exp.Open
 Referenced in 10 articles
[sw07702]
 operators from several process algebras (Ccs, Csp, Lotos, ELotos, μ Crl).Second, together with...