
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 lowerlevel 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 nonACL2 programs can be combined with ACL2 ... resolution/paramodulation automated theorem proving for firstorder 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...

Juno2
 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]
 objectoriented logic programming is a combination of logic programming, objectoriented programming, and uncertain...

LeoIII
 Referenced in 15 articles
[sw18516]
 classical higherorder logic is developed. LeoIII combines its predecessor’s concept of cooperating ... support for reasoning in expressive nonclassical 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 higherorder logic(s). It combines a sophisticated data structure layer (polymorphically...