Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Extended NuSMV

Extended NuSMV 1.1

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 2.5/5 - ‎8 ‎Votos
Download

Uma versão estendida do NuSMV, que suporta verificação simbólica do modelo de ETL e APSL

história da versão

  • Versão enusmv%201.1 postado em 2009-03-04
    Várias correções e atualizações
  • Versão enusmv 1.1 postado em 2009-03-04

Detalhes do programa

Programas Relacionados

  • Voice Widget Livre

    Inicie o Gravador de Voz, Youtube, TV ou Rádio, Explorer ou Pesquise com um clique.2 belos widgets para ligar o gravador de voz do telefone, Youtube, TV ou rádio, explorador ou pesquisa. O estilo de design é como o HTC Sens

  • ZIPCodeWorld Store Locator .NET Component Avaliação gratuita

    ZIPCodeWorld Store Locator .NET é um controle localizador de loja para todos os desenvolvedores .NET. Seu próprio serviço de localização de lojas nos Estados Unidos ou Canadá pode estar funcionando em poucos minutos. O ZIPCod

  • Mobile Data On/Off Toggle Livre

    Dados móveis ligados/desligados Dados móveis ligados/desligados alternando switcherMobile Data On/Off Alternar switcherMobile Data OnOff Toggle switch.- Essa necessidade de software Ativar "Dados móveis" nas configu

  • OCF Resource Agent for SAP Livre

    Fornece agentes de recursos compatíveis com OCF (Open Cluster Framework), para executar software SAP em um cluster de alta disponibilidade do Linux (como o projeto Linux-HA).

  • Wintermute Engine DevKit Livre

    Wintermute Engine Development Kit é um conjunto de ferramentas para criar e executar jogos de aventura de pontos e cliques gráficos, tanto tradicionais 2D quanto jogos 2.5D modernos (caracteres 3D em fundos 2D).

  • Aginity Netezza Workbench Livre

    Aginity é parceira do Netezza Solution Provider. A Bancada nasceu da nossa necessidade de ferramentas específicas para apoiar nossa vasta experiência no desenvolvimento de grandes sistemas no aparelho Netezza. O Workbench ofe

  • xUnit - Unit Testing Framework Livre

    xUnit é uma estrutura de teste de unidade de estilo XP. xUnit usa um protocolo entre um front-end para exibir resultados de teste e um driver de teste vinculado a aplicativos - removendo as dependências de tempo de link entre

  • perf2rrd Livre

    perf2rrd é um programa escrito em Java (tm) que captura a saída de dados de desempenho pelo sistema de monitoramento Nagios (R) e armazena-os em arquivos de banco de dados round robin como impolomentado pelo RRDtool.

  • MisterHouse: Home Automation with Perl Livre

    MisterHouse é um programa de automação residencial Windows/Unix escrito em Perl. Ele pode responder a comandos de voz, navegadores da Web, hora do dia, porta serial e dados X10, arquivos externos, etc e pode falar via mecanis

  • IFM - Interface Management System Livre

    IFM (anteriormente wxIFM) é uma biblioteca de gerenciamento de interface projetada para adicionar janelas dockable aos seus aplicativos, dando à sua interface a personalability exigida por usuários de computador experientes.