Web Cube is a framework to develop web applications/services implemented in Haskell.
The framework is based on a formalism called Seuss by Misra. It's a formalism for distributed programs, supporting simple temporal reasoning (subset of LTL). Web Cube main features are:
concurrency is handled abstractly (Seuss is lock free)
validation by automated testing and run-time verification
black box validation (we did a bit of major tweaking on Seuss logic to get the black box thing right)