Formal Specification Language, Memory Debugger, runtime assertion checking, runtime verification tool.