The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Clark W. Barrett" ( http://dblp.L3S.de/Authors/Clark_W._Barrett )

URL (Homepage):  http://theory.stanford.edu/~barrett/  Author page on DBLP  Author page in RDF  Community of Clark W. Barrett in ASPL-2

Publication years (Num. hits)
1996-2005 (21) 2006-2010 (15) 2011-2014 (16) 2015-2017 (31) 2018-2019 (32)
Publication types (Num. hits)
article(42) incollection(2) inproceedings(70) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 23 keywords

Results
Found 116 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett DRAT-based Bit-Vector Proofs in CVC4. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad R. Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Towards Bit-Width-Independent Proofs in SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli CVC4SY for SyGuS-COMP 2019. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, Mykel J. Kochenderfer Algorithms for Verifying Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). Search on Bibsonomy PxTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Temesghen Kahsai Selected Extended Papers of NFM 2017: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli High-Level Abstractions for Simplifying Extended String Constraints in SMT. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli Invertibility Conditions for Floating-Point Formulas. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu 0001, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett The Marabou Framework for Verification and Analysis of Deep Neural Networks. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad R. Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra, Wolfgang Kunz Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yafim Kazak, Clark W. Barrett, Guy Katz, Michael Schapira Verifying Deep-RL-Driven Systems. Search on Bibsonomy NetAI@SIGCOMM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett Extending SMT Solvers to Higher-Order Logic. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli Towards Bit-Width-Independent Proofs in SMT Solvers. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett DRAT-based Bit-Vector Proofs in CVC4. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark W. Barrett, Cesare Tinelli Syntax-Guided Rewrite Rule Enumeration for SMT Solvers. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli On Solving Quantified Bit-Vectors using Invertibility Conditions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark W. Barrett, Mykel J. Kochenderfer Toward Scalable Verification for Safety-Critical Deep Networks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith EMME: a formal tool for ECMAScript Memory Model Evaluation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King 0001, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli CVC4 at the SMT Competition 2018. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra, Wolfgang Kunz Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli Reasoning with Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli Solving Quantified Bit-Vectors Using Invertibility Conditions. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivas Shashank Nuthakki, Subhasish Mitra, Clark W. Barrett, Dominik Stoffel, Wolfgang Kunz Symbolic quick error detection using symbolic initial state for pre-silicon verification. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett Datatypes with Shared Selectors. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristian Mattarei, Clark W. Barrett, Shu-yu Guo, Bradley Nelson, Ben Smith EMME: A Formal Tool for ECMAScript Memory Model Evaluation. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andres Nötzli, Jehandad Khan, Andy Fingerhut, Clark W. Barrett, Peter Athanas p4pktgen: Automated Test Case Generation for P4 Programs. Search on Bibsonomy SOSR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan CoSA: Integrated Verification for Agile Hardware Design. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicholas Carlini, Guy Katz, Clark W. Barrett, David L. Dill Ground-Truth Adversarial Examples. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kshitij Bansal, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer Towards Proving the Adversarial Robustness of Deep Neural Networks. Search on Bibsonomy FVAV@iFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eshan Singh, David Lin, Clark W. Barrett, Subhasish Mitra Logic Bug Detection and Localization Using Symbolic Quick Error Detection. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Eshan Singh, Clark W. Barrett, Subhasish Mitra E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Constraint Solving for Finite Model Finding in SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Constraint solving for finite model finding in SMT solvers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds, Clark W. Barrett SMTCoq: A Plug-In for Integrating SMT Solvers into Coq. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Maverick Woo, Clark W. Barrett, David Brumley, Tianyi Liang, Cesare Tinelli Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eshan Singh, Clark W. Barrett, Subhasish Mitra E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Relational Constraint Solving in SMT. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Misty Davies, Temesghen Kahsai (eds.) NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Search on Bibsonomy NFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wei Wang 0062, Clark W. Barrett, Thomas Wies Partitioned Memory Models for Program Analysis. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett Designing Theory Solvers with Extensions. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark W. Barrett, Morgan Deters An efficient SMT solver for string constraints. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eshan Singh, David Lin, Clark W. Barrett, Subhasish Mitra Symbolic Quick Error Detection for Pre-Silicon and Post-Silicon Validation: Frequently Asked Questions. Search on Bibsonomy IEEE Design & Test The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze Efficient solving of string constraints for security analysis. Search on Bibsonomy HotSoS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean Lazy proofs for DPLL(T)-based SMT solvers. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Andrew Reynolds, Tim King 0001, Clark W. Barrett, Thomas Wies On Deciding Local Theory Extensions via E-matching. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrew Reynolds, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Andrew Reynolds, Tim King 0001, Clark W. Barrett, Thomas Wies Deciding Local Theory Extensions via E-matching. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett Counterexample-Guided Quantifier Instantiation for Synthesis in SMT. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wei Wang 0062, Clark W. Barrett Cascade - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guy Katz, Clark W. Barrett, David Harel Theory-Aided Model Checking of Concurrent Transition Systems. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1David Lin, Eshan Singh, Clark W. Barrett, Subhasish Mitra A structured approach to post-silicon validation and debug using symbolic quick error detection. Search on Bibsonomy ITC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tianyi Liang, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Morgan Deters A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Cesare Tinelli Leveraging linear and mixed integer programming for SMT. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Morgan Deters, Andrew Reynolds, Tim King 0001, Clark W. Barrett, Cesare Tinelli A tour of CVC4: How it works, and how to use it. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wei Wang 0062, Clark W. Barrett, Thomas Wies Cascade 2.0. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Cesare Tinelli Leveraging Linear and Mixed Integer Programming for SMT. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Clark W. Barrett SMT: Where do we go from here? Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Dejan Jovanovic, Clark W. Barrett Being careful about theory combination. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett "Decision Procedures: An Algorithmic Point of View, " by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump 6 Years of SMT-COMP. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett Quantifier Instantiation Techniques for Finite Model Finding in SMT. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Stéphane Demri, Morgan Deters Witness Runs for Counter Machines - (Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Bruno Dutertre Simplex with sum of infeasibilities for SMT. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Clark W. Barrett, Stéphane Demri, Morgan Deters Witness Runs for Counter Machines. Search on Bibsonomy FroCos The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King 0001, Andrew Reynolds, Cesare Tinelli CVC4. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dejan Jovanovic, Clark W. Barrett Sharing Is Caring: Combination of Theories. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dejan Jovanovic, Clark W. Barrett Polite Theories Revisited. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christopher L. Conway, Clark W. Barrett Verifying Low-Level Implementations of High-Level Datatypes. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving quantified verification conditions using satisfiability modulo theories. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli Satisfiability Modulo Theories. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Morgan Deters, Albert Oliveras, Aaron Stump Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Competition, Decision procedures, Automated theorem proving, SMT, Satisfiability modulo theories
1Clark W. Barrett, Igor Shikanian, Cesare Tinelli An Abstract Decision Procedure for a Theory of Inductive Data Types. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Clark W. Barrett, Cesare Tinelli CVC3. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yeting Ge, Clark W. Barrett, Cesare Tinelli Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sean McLaughlin, Clark W. Barrett, Yeting Ge Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli Splitting on Demand in SAT Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nikhil Sethi, Clark W. Barrett cascade: C Assertion Checker and Deductive Engine. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Jacob Donham Combining SAT Methods with Non-Clausal Decision Heuristics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli Validating More Loop Optimizations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill A Practical Approach to Partial Functions in CVC Lite. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang 0001, Ying Hu Translation and Run-Time Validation of Loop Transformations. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
1Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark W. Barrett, Don Syme An industrially effective environment for formal hardware verification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license