• 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 state-of-the-art 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 fourth-generation 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]
  • DPLL-based pseudo-Boolean 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 multi-threaded Boolean programs. The goal of this paper ... same procedure, and generates a Boolean program template whose multi-threaded 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 model-checking non-recursive 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 first-order 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 Just-in-Time 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 multi-threaded Boolean programs. We demonstrate the ease...
  • monabs

  • Referenced in 2 articles [sw18507]
  • Lost in abstraction: monotonicity in multi-threaded programs. Monotonicity in concurrent systems stipulates that ... software can result in non-monotone 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...