Software developed for research purposes:
CWD: CWD is a concurrent implementation of Completion based on SOUR graphs. CWD is written in C++ and uses the LEDA library of data structures and PVM (Parallel Virtual Machine) library for concurrency.
BaCCS: BaCCS implements Standard Completion, Basic Completion and Basic Completion with Standard/Basic/E-cycle Simplification in ELAN.
OLIVER (OnLine Inference and VERification System for Propositional Logic proofs): You can try Oliver online. A succinct help is also available.
LPS (Logic Programming Software): LPS was written in JAVA by Jingyu Hu, an undergraduate student at SUNY Stony Brook, as an independent study project in his sophomore year. Download the jar file here to use it. I used the software in my Programming Language and Implementation class in Fall 2002 with 25 students. A succint help and examples are available here.
Yices Web Interface
Yices Rainbow Eclipse Plugin
SirCHA (Graph-based congruence closure for the theory of list)
Communications in GSD projects (Try it out to see the communications in the 2008 Global Software Development project)