added demonstration of validation techniques in BARACUS