16 relações: Ciência da computação, Deadlock, Edmund Clarke, Ernest Allen Emerson, Hardware, Joseph Sifakis, Lógica, Lógica proposicional, Lógica temporal, Modelo, Prêmio Turing, Problema, Protocolo (ciência da computação), Sistema, Software, Travamento.
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Verificação de modelos e Ciência da computação · Veja mais »
Deadlock
Deadlock (interbloqueio, blocagem, impasse), no contexto de sistemas operacionais (SO), refere-se a uma situação em que ocorre um impasse, e dois ou mais processos ficam impedidos de continuar suas execuções - ou seja, ficam bloqueados, esperando uns pelos outros.
Novo!!: Verificação de modelos e Deadlock · Veja mais »
Edmund Clarke
Edmund Melson Clarke, Jr. (Newport News, – 22 de dezembro de 2020) foi um cientista da computação estadunidense.
Novo!!: Verificação de modelos e Edmund Clarke · Veja mais »
Ernest Allen Emerson
Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.
Novo!!: Verificação de modelos e Ernest Allen Emerson · Veja mais »
Hardware
Equipamentos de computadores. O hardware (pronúncia: 'rarduér') é um termo técnico (e anglicismo de engenharia eletrônica) que foi traduzido para a língua portuguesa como equipamento, e pode ser definido como um termo geral da língua inglesa, que se refere à parte física de computadores e outros sistemas microeletrônicos.
Novo!!: Verificação de modelos e Hardware · Veja mais »
Joseph Sifakis
Joseph Sifakis (Ιωσήφ Σηφάκης; Heraclião) é um informático Foi laureado com o Prêmio Turing de 2007.
Novo!!: Verificação de modelos e Joseph Sifakis · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Verificação de modelos e Lógica · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Verificação de modelos e Lógica proposicional · Veja mais »
Lógica temporal
Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.
Novo!!: Verificação de modelos e Lógica temporal · Veja mais »
Modelo
* Modelo (artes plásticas) - representação em escala de um objeto real, em geral pessoas, para trabalhos artísticos.
Novo!!: Verificação de modelos e Modelo · Veja mais »
Prêmio Turing
O Prêmio Turing é concedido anualmente pela Association for Computing Machinery (ACM) para uma pessoa selecionada por contribuições à computação.
Novo!!: Verificação de modelos e Prêmio Turing · Veja mais »
Problema
* Problema matemático — questão proposta em busca de uma solução.
Novo!!: Verificação de modelos e Problema · Veja mais »
Protocolo (ciência da computação)
Na ciência da computação, um protocolo é um padrão (conjunto de regras convencionadas) que controla e possibilita a conexão, comunicação e, transferência de dados entre dois sistemas computacionais; ou seja, em uma rede de computadores o protocolo é o responsável pela comunicação entre os computadores (a linguagem padrão de comunicação) e também responsável pela troca de dados entre eles, independente da localização e independente do sistema operacional/plataforma utilizada nesses equipamentos.
Novo!!: Verificação de modelos e Protocolo (ciência da computação) · Veja mais »
Sistema
Um sistema (do grego σύστημα systēma, através do latim systēma), é um conjunto de elementos interdependentes de modo a formar um todo organizado.
Novo!!: Verificação de modelos e Sistema · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Verificação de modelos e Software · Veja mais »
Travamento
Travamento (crash) ou falha de sistema, é um termo utilizado em informática para descrever uma situação onde um computador ou aplicativo ou mesmo parte do sistema operativo deixa de funcionar, geralmente após deparar com algum tipo de erro.
Novo!!: Verificação de modelos e Travamento · Veja mais »
Redireciona aqui:
Model Checking, Model checking, Verificação de Modelo, Verificação de Modelos.