103 search results - page 7 / 21 » The Barcelogic SMT Solver |
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
126
Voted
NFM
2011
14 years 8 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...
95
Voted
INFORMATICALT
2010
15 years 9 days 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ļ...
139
click to vote
LPAR
2010
Springer
15 years 8 days 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 ...
93
Voted
ENTCS
2007
15 years 1 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...