Em várias áreas da Informática há demanda por métodos formais para validação de sistemas, objetivo para o qual existem diversas técnicas diferentes a ser aplicadas.
In several areas of Informatics there is a need for system validation via formal methods, in which several different techniques can be applied.