Baixar REDLIB para Linux

Este é o aplicativo Linux denominado REDLIB, cuja versão mais recente pode ser baixada como redlib.a.130816.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.

 
 

Baixe e execute online este aplicativo chamado REDLIB com OnWorks gratuitamente.

Siga estas instruções para executar este aplicativo:

- 1. Baixe este aplicativo em seu PC.

- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.

- 3. Carregue este aplicativo em tal gerenciador de arquivos.

- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.

- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.

- 6. Baixe o aplicativo, instale-o e execute-o.

REDLIB



DESCRIÇÃO:

* Biblioteca de verificação de modelo / verificação de simulação para sistema de tempo real com modelos de tempo denso em C com tecnologia CRD (Clock-Restriction Diagrams). * Biblioteca de análise paramétrica para sistemas híbridos lineares em C com tecnologia HRD (Hybrid-Restriction Diagram)



Recursos

  • Verificação de modo simbólico e verificação de simulação
  • Modelos de comunicação de autômatos temporizados (CTA) e modelos de autômatos híbridos lineares (LHA)
  • Biblioteca de interface aberta
  • Verificação do modelo TCTL com suposições de justiça
  • Simulação de feira CTA
  • Análise paramétrica de segurança LHA
  • GUI disponível para edição de modelo e simulação simbólica com controle API
  • Muitos aplicativos disponíveis, incluindo ompca (analisador OpenMP C), pathg (simulador simbólico para CTA), solucionador de sudoku, construtor de gráfico de acessibilidade, etc.


Público

Tecnologia da Informação, Ciência / Pesquisa, Educação, Indústria de Telecomunicações



Linguagem de Programação

C


Categorias

Modelagem, Automação de Projeto Eletrônico (EDA)

Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/redlib/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.



Programas online mais recentes para Linux e Windows


Categorias para baixar software e programas para Windows e Linux