• TPS

  • Referenced in 67 articles [sw00973]
  • proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... these disciplines, expert systems which can reason, and certain aspects of artificial intelligence...
  • Jakarta

  • Referenced in 18 articles [sw01269]
  • JaKarTa is a toolset for specifying and reasoning about the JavaCard platform. The main ingredients ... assistants; the JaKarTa Automation Kit (JAK), a toolset to support reasoning about executable specifications within...
  • IsaFoL

  • Referenced in 3 articles [sw19193]
  • methodology for formalizing modern research in automated reasoning. Our initial focus is on well-established...
  • Valigator

  • Referenced in 3 articles [sw00994]
  • that efficiently combines symbolic computation and automated reasoning in a uniform framework. The system offers...
  • MATHsAiD

  • Referenced in 3 articles [sw21355]
  • Discovery Tool. In the field of automated reasoning, one of the most challenging (even...
  • Aximo

  • Referenced in 4 articles [sw15031]
  • Aximo: Automated Axiomatic Reasoning for Information Update. Aximo is a software written in C++ that...
  • Viper

  • Referenced in 4 articles [sw15038]
  • verification infrastructure for permission-based reasoning. The automation of verification techniques based on first-order ... allowing the developers of higher-level reasoning techniques to focus their efforts at an appropriate...
  • FORMULA 2.0

  • Referenced in 2 articles [sw13248]
  • domain-specific abstractions and compilers, (2) efficient reasoning and compilation of input programs, (3) diverse ... easily express rich synthesis / verification problems. Automated reasoning is enabled by efficient symbolic execution...
  • GROVER

  • Referenced in 2 articles [sw09968]
  • meaning. Through the development of an automated reasoning system, called &/GROVER, we have tried...
  • Caper

  • Referenced in 2 articles [sw20269]
  • present Caper, a prototype tool for automated reasoning in such a logic. Caper is based...
  • jSMTLIB

  • Referenced in 2 articles [sw19842]
  • response requirements for Satisfiability-Modulo-Theories automated reasoning tools. The standard has been an incentive...
  • MUNCH

  • Referenced in 1 article [sw07181]
  • MUNCH -- automated reasoner for sets and multisets This system description provides an overview ... MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula ... MUNCH is the first fully automated reasoner for this logic. MUNCH reduces input formulas...
  • EasyCrypt

  • Referenced in 23 articles [sw09738]
  • using off-the-shelf SMT solvers and automated theorem provers, and then compiled into verifiable ... CertiCrypt framework. The tool supports most common reasoning patterns and is significantly easier...
  • ManyOpt

  • Referenced in 1 article [sw18803]
  • current solvers have limited ability for deductive reasoning or the use of domain-specific theories ... integrality constraints does not yet exploit automated reasoning tools such as SMT solvers. This seems...
  • KEIM

  • Referenced in 1 article [sw19608]
  • used in the implementation of automated reasoning systems. KEIM is intended to be used...
  • yOWL

  • Referenced in 1 article [sw24081]
  • population using “semantic” data mashup, to automated reasoning and semantic query answering. Based on yeast...
  • Theoryguru

  • Referenced in 1 article [sw25572]
  • quantifier elimination (QE) technology for automated reasoning in economics. There is a great body...
  • Aber-OWL

  • Referenced in 1 article [sw16929]
  • ontologies relies on the use of automated reasoning. Results: We have developed the Aber...
  • LEO-II

  • Referenced in 39 articles [sw00512]
  • winner of the THF division (automation of higher-order logic) at CASC-J5. At CASC ... order divisions FOF and CNF and performed reasonably well. LEO-II has been the first...
  • CAPP

  • Referenced in 9 articles [sw03233]
  • computer automated process planning (CAPP) will play a preeminent role. The two reasons for this ... process planning part needed to be automated. The shop trained people who were familiar with...