[<< wikibooks] ROSE Compiler Framework/FailSafe Assertion Language
An experimental source code annotation language to support resilient computing. 

Quick information

source files: ROSE/src/roseExtensions/failSafe/  failSafePragma.C  failSafePragma.h
test directory: ROSE/tests/CompileTests/FailSafe_tests