LTL (Linear Temporal Logic) model checking task.

Encerrado Postado há 3 anos Pago na entrega

$10-30 USD

Pago na entrega

Encerrado Pago na entrega

I have a full description with sample code for the automata, I need to build a model checking tool.............

XML Arquitetura de software Linux Automação de Testes

ID do Projeto: #28426815

Sobre o projeto

Projeto remoto Ativo em há 3 anos

Afim de ganhar algum dinheiro?

Benefícios de ofertar no Freelancer

Defina seu orçamento e prazo

Receba pelo seu trabalho

Descreva sua proposta

Cadastre-se e oferte em trabalhos gratuitamente

Criar Projeto Similar