
Bebop
 Referenced in 74 articles
[sw08928]
 Bebop: A Symbolic Model Checker for Boolean Programs. We present the design, implementation and empirical ... Bebop—a symbolic model checker for boolean programs. Bebop represents control flow explicitly, and sets ... Bebop is able to model check boolean programs with several thousand lines of code, hundreds...

Why3
 Referenced in 126 articles
[sw04438]
 provides a rich language for specification and programming, called WhyML, and relies on external theorem ... real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues...

RelView
 Referenced in 101 articles
[sw00798]
 Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed...

Quaffle
 Referenced in 62 articles
[sw07278]
 Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles and Practice of Constraint Programming ... Malik, ”Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference...

clasp
 Referenced in 90 articles
[sw07095]
 programming (ASP) with stateoftheart techniques from the area of Boolean constraint solving...

OTTER
 Referenced in 310 articles
[sw02904]
 symbolic calculator and has an embedded equational programming system. Otter is a fourthgeneration Argonne ... areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory...

Spacer
 Referenced in 8 articles
[sw19496]
 proof. We show that for programs and properties over a decidable theory, the algorithm ... oracle for quantifier elimination (QE). For Boolean programs, the algorithm is a polynomial decision procedure...

aspeed
 Referenced in 11 articles
[sw27492]
 aspeed: solver scheduling via answer set programming. Although Boolean Constraint Technology has made tremendous progress ... modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that...

HySAT
 Referenced in 23 articles
[sw01980]
 DPLLbased pseudoBoolean SAT solver and a linear programming routine as core engine...

CGAL
 Referenced in 334 articles
[sw00118]
 polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves and their applications ... solver for linear and quadratic programs. It further offers interfaces to third party software such...

SymmPa
 Referenced in 3 articles
[sw08414]
 model checking of software written in mainstream programming languages. This combination of techniques has been ... analysis of the resulting multithreaded Boolean programs. The goal of this paper ... same procedure, and generates a Boolean program template whose multithreaded execution soundly overapproximates...

PostgreSQL
 Referenced in 67 articles
[sw15935]
 data types, including INTEGER, NUMERIC, BOOLEAN, CHAR, VARCHAR, DATE, INTERVAL, and TIMESTAMP. It also supports ... pictures, sounds, or video. It has native programming interfaces for C/C++, Java, .Net, Perl, Python...

Gecode
 Referenced in 57 articles
[sw06272]
 search engines. New variable domains can be programmed at the same level of efficiency ... comprehensive set of features: constraints over integers, Booleans, sets, and floats (it implements more than ... users to focus on different modeling and programming tasks with Gecode. free Gecode is distributed...

Boom
 Referenced in 2 articles
[sw01318]
 Boom: Taking Boolean program model checking one step further We present Boom, a comprehensive analysis ... tool for Boolean programs. We focus in this paper on modelchecking nonrecursive concurrent ... systems, resulting in a reachability engine for programs with unbounded thread creation. The concurrent version ... present experimental results for the verification of Boolean device driver models...

DERIVE
 Referenced in 64 articles
[sw02964]
 longer available as a separate program, but the Derive code is now incorporated into ... variables, expressions, equations, functions, vectors, matrices and Boolean expressions like a scientific calculator processes numbers...

FOOL
 Referenced in 3 articles
[sw14287]
 first class Boolean sort in firstorder theorem proving and TPTP ... support reasoning about properties of programs operating with Boolean values one needs theorem provers ... natively deal with the boolean sort. This way, program pro perties can be translated ... theorem provers can be used to prove program properties efficiently. However, in the TPTP language...

IJIT
 Referenced in 1 article
[sw21506]
 IJIT: An API for Boolean Program Analysis with JustinTime Translation. Exploration algorithms ... this paper we present the Ijit Application Programming Interface (API), which allows users to automatically ... algorithm to one that operates on Boolean programs. The API converts system states temporarily ... algorithms to operate on multithreaded Boolean programs. We demonstrate the ease...

monabs
 Referenced in 2 articles
[sw18507]
 Lost in abstraction: monotonicity in multithreaded programs. Monotonicity in concurrent systems stipulates that ... software can result in nonmonotone Boolean programs  the monotonicity is {it lost...

jFuzzyIBATranslator
 Referenced in 3 articles
[sw22488]
 software that implements the Interpolative Boolean algebra using Java programming language. The Interpolative Boolean algebra ... Boolean Polynomial (GBP). All transformation steps are shown and explained. In this way the program...

cumulativemm
 Referenced in 3 articles
[sw15628]
 Bound algorithm with principles from Constraint Programming and Boolean Satisfiability Solving. In our paper...