103 search results - page 7 / 21 » The Barcelogic SMT Solver |
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
NFM
2011
14 years 4 months ago
2011
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insuļ¬cient tool support has hampered their wider adoption. To address thi...
INFORMATICALT
2010
14 years 8 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
110
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for ļ¬rst-order clause logic modulo equality. Its distinctive feature is that it combines ļ¬rst-order ...
71
Voted
ENTCS
2007
14 years 9 months ago
2007
We present a method for pipeline veriļ¬cation using SMT solvers. It is based on a non-deterministic āmother pipelineā machine (MOP) that abstracts the instruction set archite...