Ultimate TreeAutomizer (CHC-COMP Tool Description)

Article Properties
  • Language
    English
  • DOI (url)
    10.4204/eptcs.296.7
  • Publication Date
    2019/07/09
  • Journal
    Electronic Proceedings in Theoretical Computer Science
  • Indian UGC (journal)
  • Refrences
    18
  • Citations
    1
  • Daniel Dietsch University of Freiburg
  • Matthias Heizmann University of Freiburg
  • Jochen Hoenicke University of Freiburg
  • Alexander Nutz University of Freiburg
  • Andreas Podelski University of Freiburg
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Constraint solving for interpolation Journal of Symbolic Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 8 2016
Tentative steps toward a development method for interfering programs ACM Transactions on Programming Languages and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 158 2016
Tree Automata-Based Refinement with Application to Horn Clause Verification 2015
Horn Clause Solvers for Program Verification 2015
The MathSAT5 SMT Solver 2013
Citations
Title Journal Journal Categories Citations Publication Date
CHC-COMP 2022: Competition Report Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2022
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled CHC-COMP 2022: Competition Report and was published in 2022. The most recent citation comes from a 2022 study titled CHC-COMP 2022: Competition Report. This article reached its peak citation in 2022, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year