Provadores De Teoremas
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de estados, o uso de provadores de teoremas represent
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/03/2010
-
2. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
3. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
4. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007
-
5. Model checking CSPZ: Techniques to overcome state explosion
Hoje em dia, notamos um crescente interesse na tÃcnica de verificaÃÃo de modelos por acadÃmicos e por profissionais da indÃstria. A razÃo disso talvez esteja na habilidade dos verificadores de modelos|implementaÃÃes de algoritmos de verificaÃÃo de modelos|serem totalmente automÃticos: nÃo hà intervenÃÃo do usuÃrio durante a anÃlise. Com cert
Publicado em: 2001
-
6. ProS4 - provador automático de teoremas para a lógica modal S4
A Logica Modal tem sido utilizada em Ciencia da Computacao no tratamento de crencas, conhecimento, processamento de linguagem natural, analise de sistemas distribuidos, verificacao de programas concorrentes e paralelos, e raciocinio temporal. Estas aplicacoes requerem o desenvolvimento de provadores automaticos de teoremas para os sistemas modais utilizados
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/08/1993