Compendium of Documents About the Design and Testing System YERITH_QVGE (YRI_QVGE)

YEROTH_QVGE is a CASE (Computer-Aided Software Engineering) design tool to generate "domain-specific language (DSL) YR_SB_RUNTIME_VERIF_LANG" files, to be inputted into the "compiler YR_SB_RUNTIME_VERIF_LANG_COMP", so to generate C ++ files for the "runtime verifier tester YR-DB-RUNTIME-VERIF that allows for manual verification of SQL correctness properties of Graphical User Interface (GUI) software. https://www.github.com/yerithrd/yr-db-runtime-verif "https://www.github.com/yerithrd/yr_sd_runtime_verif_lang"