Rubi-bdd. Ruby-BDD é uma ligação de BDD para Ruby.
Baixe Agora

Rubi-bdd. Classificação e resumo

Rubi-bdd. Tag

vinculativo Biblioteca Ruby. BDD. vinculativo BDD Rubi-bdd.

Rubi-bdd. Descrição

Ruby-BDD é uma ligação de BDD para Ruby. Ruby-BDD é uma ligação BDD para Ruby.bdds (ou mais precisamente RobDDs) são estruturas de dados eficientes para representar a fórmula booleana. Eles são amplamente utilizados em verificação formal, em particular a verificação de modelo simbólico. A ideia de verificação de modelo simbólico é representar conjuntos de relações de transição de estados como fórmula (e para calcular o ponto de correção do conjunto de todos os estados acessíveis para análise de acessibilidade) .buddy é uma biblioteca BDD escrita em C com uma API tanto em C e C ++. É desenvolvedor amigável com uma interface simples. Ele suporta todas as operações de BDD padrão, pedidos variáveis, impressão, coleta automatizada de lixo e é compilável em plataformas UNIX e Windows.Ruby, apesar de ser uma linguagem de script, é uma linguagem poderosa e limpa de objetos que é muito fácil de aprender e usar. Em particular, é bem adequado para fins de prototipagem rápida e educação. Ruby-BDD é uma ligação para o Ruby com base no amigo que fornece classes BDD para criar e manipular BDDs no Ruby.what novo nesta versão: · Esta versão adiciona suporte para vetores de bits e domínios finitos. · A maioria da biblioteca de amigos está agora disponível através de uma API de estilo Ruby.

Rubi-bdd. Software Relacionado