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)
More on Web Cube: