• iProver

  • Referenced in 49 articles [sw09707]
  • order logic. One of the distinctive features of iProver is a modular combination of instantiation...
  • StateFlow

  • Referenced in 42 articles [sw04350]
  • decision logic based on state machines and flow charts. Stateflow lets you combine graphical ... input signals. With Stateflow you can design logic for supervisory control, task scheduling, and fault...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • sets of priorities. The role of dynamic logic programming is to employ the mutual relationships ... their combination. But how, in concrete situations, is a sequence of logic programs built...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • with and combining the theories of probability and fuzzy sets. Extends the logic programming form...
  • Milawa

  • Referenced in 20 articles [sw09977]
  • faithful to the logic. Going further, we have combined these results with our previous verification...
  • Tuffy

  • Referenced in 10 articles [sw28901]
  • powerful framework that combines statistical and logical reasoning; they have been applied to many data...
  • jStar

  • Referenced in 32 articles [sw11261]
  • recent theoretical developments in program verification: it combines the idea of abstract predicate families ... symbolic execution and abstraction using separation logic. The proposed technology has been implemented ... automatic verification system, called jStar, which combines theorem proving and abstract interpretation techniques. We demonstrate...
  • RRE

  • Referenced in 9 articles [sw22305]
  • events and their countermeasures using Boolean logic to combine lower-level attack consequences. In addition...
  • kFOIL

  • Referenced in 12 articles [sw23358]
  • kernels. A novel and simple combination of inductive logic programming with kernel methods is presented...
  • Mercury

  • Referenced in 68 articles [sw08333]
  • Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming ... delivers efficiency far in excess of existing logic programming systems, and close to conventional programming...
  • Ivy

  • Referenced in 36 articles [sw10279]
  • Order Logic. This case study shows how non-ACL2 programs can be combined with ACL2 ... resolution/paramodulation automated theorem proving for first-order logic. The top ACL2 function takes a conjecture...
  • APS

  • Referenced in 29 articles [sw08969]
  • rules) and logical. All of them may be used in different combinations at different levels...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • also be used to combine constraint solvers for two logical theories into a single constraint...
  • Fril++

  • Referenced in 5 articles [sw18489]
  • object-oriented logic programming is a combination of logic programming, object-oriented programming, and uncertain...
  • Leo-III

  • Referenced in 15 articles [sw18516]
  • classical higher-order logic is developed. Leo-III combines its predecessor’s concept of cooperating ... support for reasoning in expressive non-classical logics...
  • TuLiP

  • Referenced in 11 articles [sw20173]
  • expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state...
  • Isabelle/PIDE

  • Referenced in 13 articles [sw07185]
  • basis for educational tools. The traditionally strong logical foundations of systems like ... shall ultimately lead to combined mathematical assistants, where the logical engine is in the background...
  • HANNIBAL

  • Referenced in 8 articles [sw10071]
  • introduces a new approach to logic verification of combinational circuits, which is based on recursive...
  • ACNUC

  • Referenced in 3 articles [sw25857]
  • reference, journal, author, and organelle; all logical combinations of these criteria can be used. Direct...
  • LeoPARD

  • Referenced in 7 articles [sw13554]
  • reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically...