UPPAAL Model Checker Overview by Valerio Rosset. Uppaal Uppaal é : – Uma ferramenta (Toolbox) para verificação formal de sistemas de tempo real … Desenvolvido: