Model checking
Model checking Erlang code through formal methods.
http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

Grumberg, Orna
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
http://www.cs.technion.ac.il/users/orna/

TILT Compiler
TILT Compiler Home Page
http://www.tilt.cs.cmu.edu/

Languard Network Security Products
GFI offers network security software including intrusion detection, security scanner, anti virus for Exchange and anti virus for ISA server
http://www.languard.com

Flyspell
A package for on the fly spell checking.
http://www-sop.inria.fr/mimosa/Manuel.Serrano/flyspell/flyspell.html

STG Validator
An interface for checking the validity, i.e., structural integrity and correctness, of XML document instances.
http://www.stg.brown.edu/service/xmlvalid

XMLProbe
XMLProbe is a tool for automated quality control of XML content.
http://www.xmlprobe.com/

CheckWeb
Peter Hartley's freeware HTML link checking program for Acorn RiscOS computers
http://utter.chaos.org.uk/~pdh/software/checkweb.htm

LCLint
Tool for checking C source code before compilation.
http://www.leenoar.ukos.com/lclint/index.html

Achex
Electronic checks allow you to pay or be paid using an existing checking account.
http://www.achex.com