UPPAAL 4.0.6

UPPAAL é um ambiente integrado de ferramentas para modelagem, validação e verificação de sistemas de tempo real modelados como redes de autômatos cronometrado, estendido com tipos de dados (números inteiros delimitadas, matrizes, etc.).UPPAAL CORA é um...