Los estudios empíricos sobre métodos y herramientas formales son raros. En este artículo, proporcionamos directrices para tales estudios. Mencionamos sus principales ingredientes y luego definimos nueve estrategias de estudio diferentes (pruebas de usabilidad, experimentos de laboratorio con software y sujetos humanos, estudios de caso, estudios cualitativos, encuestas, estudios de juicio, revisiones sistemáticas de literatura y estudios de mapeo sistemático) y discutimos para cada una de ellas sus características cruciales, las dificultades de aplicarlas a métodos y herramientas formales, las amenazas típicas a la validez, su madurez en métodos formales, referencias a directrices externas y referencias a estudios en otros campos. Concluimos con una serie de desafíos para.