103 search results - page 7 / 21 » The Barcelogic SMT Solver |
103
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
180
click to vote
NFM
2011
15 years 17 days 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...
143
click to vote
INFORMATICALT
2010
15 years 4 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ļ...
172
click to vote
LPAR
2010
Springer
15 years 4 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 ...
129
click to vote
ENTCS
2007
15 years 5 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...