Smt Solvers
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. A prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework
An increasing number of verification tools (e.g., software model-checkers) require the use of Satisfiability Modulo Theories (SMT) solvers to implement the back-ends for the automatic analysis of specifications and properties. The most prominent approach to build SMT solvers consists in integrating an efficient Boolean solver with decision procedures capable
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
2. Deciding difference logic in a Nelson-Oppen combination framework
O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modul
Publicado em: 2007