Resultado de la búsqueda: verificadores estaticos en compilacion