Buscar
Mostrando ítems 1-10 de 229
Especificação formal,verificação e implementação de um protocolo de comunicação determinista, baseado em ethernet
(Escola Politécnica /Instituto de Matemática.Programa de Pós-Graduação em MecatrônicaUFBABrasil, 2017-06-12)
Este trabalho apresenta um protocolo que torna o uso compartilhado de Ethernet eficiente para dar suporte aos sistemas de tempo real modernos. O protocolo foi especificado formalmente e sua correção foi atestada automaticamente ...
A semântica formal de MooZ
(Universidade Federal de Pernambuco, 2014)
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...