Model Checking

Model Checking é um método para verificar formalmente se um modelo de um sistema atende a um determinado conjunto de especificações. É usado para encontrar falhas de design em hardware e software.