103 search results - page 7 / 21 » The Barcelogic SMT Solver |
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
NFM
2011
13 years 2 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
13 years 6 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ļ...
LPAR
2010
Springer
13 years 6 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 ...
ENTCS
2007
13 years 7 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...