Extended NuSMV 1.1
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/enusmv/files/enusmv/enusmv%201.1/enusmv_1.1.tar.bz2/download
Sobre Extended NuSMV
Uma versão de extensão do NuSMV, que suporta a verificação de modelos simbólicos da ETL e da APSL
Programas Relacionados
-
Voice Widget Grátis
Inicie o Voice Recorder, Youtube, TV ou Radio, Explorer ou Search 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 Sense.
-
ZIPCodeWorld Store Locator .NET Component Julgamento Gratuito
ZIPCodeWorld Store Localizador .NET é um controlo de localizador de loja para todos os desenvolvedores .NET. O seu próprio serviço de localização de lojas nos Estados Unidos ou canadá pode estar a funcionar dentro de minutos.
-
Mobile Data On/Off Toggle Grátis
Dados móveis Ligados/Desligados ToggleMobile Para alternar comutadores Desativar Dados Desa ligar/Desligar Para alternar Os dados do switcherMobile OnOff Switch.- Esta necessidade de software Enable "Dados móveis" n
-
OCF Resource Agent for SAP Grátis
Fornece agentes de recursos compatíveis com o OCF (Open Cluster Framework) para executar o software SAP num cluster de alta disponibilidade Linux (como o projeto Linux-HA).
-
Wintermute Engine DevKit Grátis
Wintermute Engine Development Kit é um conjunto de ferramentas para criar e executar jogos de aventura de ponto gráfico e clique, tanto os tradicionais 2D como os jogos modernos 2.5D (caracteres 3D em fundos 2D).
-
Aginity Netezza Workbench Grátis
A Aginity é um parceiro da Netezza Solution Provider. A Workbench nasceu da nossa necessidade de ferramentas específicas para apoiar a nossa vasta experiência no desenvolvimento de grandes sistemas no aparelho Netezza. Workbe
-
xUnit - Unit Testing Framework Grátis
xUnit é uma estrutura de teste de unidade de estilo XP. o xUnit utiliza um protocolo entre uma extremidade frontal para apresentar os resultados dos testes e um controlador de teste ligado às aplicações - removendo as dependê
-
perf2rrd Grátis
perf2rrd é um programa escrito em Java (tm) que captura a saída de dados de desempenho pelo sistema de monitorização Nagios (R) e o armazena em ficheiros de base de dados robin redondos como implemementado pela RRDtool.
-
MisterHouse: Home Automation with Perl Grátis
MisterHouse é um programa de domótica Windows/Unix escrito em Perl. Pode responder a comandos de voz, navegadores web, hora do dia, porta em série e dados X10, ficheiros externos, etc. e pode falar através de motores Text to
-
IFM - Interface Management System Grátis
A IFM (anteriormente wxIFM) é uma biblioteca de Gestão de Interfaces projetada para adicionar janelas dockable às suas aplicações, dando à sua interface a personalidade exigida pelos utilizadores de computador experientes.