Symbolic Computation means computing using formulae (instead of numbers). We implement the axioms of Mathematical Logic and Algebra as Computer programs and apply them to large industrial problems.
Our method of choice is SAT Solving in Boolean Algebra. Our particular strength is the construction of symbolic software systems in Java. Our applications include configuration problems in the automotive industry, in computer and storage networks, and in formal fault analysis and verification of system software.