Triple-A
Descrição
Triple-A 1.4.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O software está dentro de Educação, na subcategoria Science. O desenvolvedor do Triple-A é Markus Strauch.
Do desenvolvedor:
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Confira mais programas, tais como Triplea, Final Cut Pro ou iSubtitle, que podem ser similares a Triple-A.
Comentários
Por favor, adicione um comentário explicando o raciocínio por trás do seu voto.