Buscar
Mostrando ítems 41-50 de 350
Modelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelos
(Universidade Federal de Minas GeraisUFMG, 2011-07-27)
Recently there has been a growing interest in the application of Probabilistic Model Checking (PMC) for the formal specification and analysis of biological systems. PMC is able to exhaustively explore all states of a ...
Contribuições para o problema de verificação de equivalência combinacional
(Universidade Federal de Minas GeraisUFMG, 2008-08-22)
A decrease the SAT solver solving time used to prove equivalence between the circuits. Through this technique, which was implemented in a tool called Vimplic, we have been able to dramatically reduce the overall verification ...
VERIFICAÇÃO FORMAL DA FUNÇÃO DE CONTROLE DE ACESSO AO MEIO DO PROTOCOLO IEEE 802.11 E INVESTIGAÇÃO DA SUA APLICABILIDADE EM SISTEMAS DE TEMPO-REAL
(Escola Politécnica / Instituto de MatemáticaPrograma de Pós-Graduação em MecatrônicaUFBAbrasil, 2017-02-21)
O termo IEEE 802.11 diz respeito a uma família de especificações que buscam obter conectividade sem fio para estações fixas, portáveis e móveis em uma rede local. Redes IEEE 802.11 têm, recentemente, despertado interesse ...
Verificação formal de um protocolo de rede sem fio através de model checking
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de InformáticaCiência da ComputaçãoUTFPR, 2014-11-11)
This work consists of the application of the model checking technique to the formal specification, modeling and formal verification of the basic access method of the IEEE 802.11 standard medium access control protocol ...
JCML - Java Card Modeling Language: Definição e Implementação
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2007-09-06)
Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where ...
Implementação, simulação e verificação formal de um agente racional condutor de um veículo autônomo
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de InformáticaCiência da ComputaçãoUTFPR, 2018-06-20)
Autonomous technology has been implemented to increase the vehicles’ safety. The reduction in the numbers of fatalities due to these technologies opens new opportunities for improvement of the urban traffic. Autonomous ...
Utilização de model checking na verificação formal de um protocolo de rede full duplex sem fio
(Universidade Tecnológica Federal do ParanáPonta GrossaBrasilDepartamento Acadêmico de InformáticaCiência da ComputaçãoUTFPR, 2016-05-12)
Ensuring the correct behavior of systems is no trivial task. Formal methods have been used in industrial and scientific applications to ensure proper working. Model checking is a modelbased formal method that recently has ...
A SysML profile for smart city applications
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2021)