agregando citas de TACO y FAJITA
agregando citas de Alloy y Z3 como ejemplos de BMC/SMT/etc