
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 130 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 102 articles
[sw00798]
 Boolean matrices or directed graphs, especially for prototyping relational specifications and programs. It is developed...

Quaffle
 Referenced in 64 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 93 articles
[sw07095]
 programming (ASP) with stateoftheart techniques from the area of Boolean constraint solving...

OTTER
 Referenced in 316 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 11 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 10 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...

CGAL
 Referenced in 367 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...

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

PostgreSQL
 Referenced in 71 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...

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

Gecode
 Referenced in 64 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...

TravMC2
 Referenced in 4 articles
[sw20008]
 similar role to checkers of Boolean programs in the imperative setting. Most research effort...

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

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

gprecedencemm
 Referenced in 5 articles
[sw15629]
 Bound algorithm with principles from Constraint Programming and Boolean Satisfiability Solving. In our paper...

DERIVE
 Referenced in 65 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...