• KeYmaera

  • Referenced in 41 articles [sw03709]
  • KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic ... natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata...
  • HTab

  • Referenced in 11 articles [sw12427]
  • HTab: a Terminating Tableaux System for Hybrid Logic. Hybrid logic is a formalism that ... variety of proof mechanisms for hybrid logic exist, but the only widely available implemented proof ... been developed for a number of hybrid logics, and the goal of the present work ... terminating tableaux algorithm for the hybrid logic H(@,A)H(@,A). The performance...
  • HYSDEL

  • Referenced in 38 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems ... then-else and propositional logic rules. Once a hybrid system is modeled in a human ... fashion, HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately...
  • Spartacus

  • Referenced in 14 articles [sw12426]
  • Spartacus: A Tableau Prover for Hybrid Logic. Spartacus is a tableau prover for hybrid multimodal...
  • PPL

  • Referenced in 97 articles [sw05357]
  • functional and logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since...
  • HyLoRes

  • Referenced in 7 articles [sw17660]
  • Resolution Based Theorem Prover for Hybrid Logics. HyLoRes is a direct resolution prover for hybrid ... logics. These are modal-like logics with facilities to refer to objects in a model ... modal (or hybrid) input, with no translation into background logics. HyLoRes fuses state ... ideas with the simple representation of the hybrid object languag...
  • S-TaLiRo

  • Referenced in 17 articles [sw09775]
  • TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab...
  • HyLoTab

  • Referenced in 7 articles [sw13662]
  • proof-of-concept tableaux prover for hybrid logics originally written...
  • MetTeL

  • Referenced in 15 articles [sw11990]
  • prover for various modal, intuitionistic, hybrid, description and metric logics. The core component of MetTeL...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack ... Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • statistical model checker for the hybrid automata stochastic logic. This tool paper introduces Cosmos ... statistical model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata...
  • Herod

  • Referenced in 3 articles [sw09445]
  • Pilate: Two Tableau Provers for Basic Hybrid Logic. This work presents two provers for basic ... hybrid logic HL(@), which have been implemented with the aim of comparing the internalised tableau...
  • Pilate

  • Referenced in 3 articles [sw09446]
  • Pilate: Two Tableau Provers for Basic Hybrid Logic. This work presents two provers for basic ... hybrid logic HL(@), which have been implemented with the aim of comparing the internalised tableau...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • with a description logic classifier, e.g. FaCT, resulting in a hybrid rule language. This paper...
  • Cool

  • Referenced in 4 articles [sw11992]
  • Cool -- a generic reasoner for coalgebraic hybrid logics. We describe the coalgebraic ontology logic solver ... generally, hybrid) formulas with respect to a set of global assumptions – in description logic parlance...
  • HiTag2

  • Referenced in 9 articles [sw14133]
  • proposed. By using a hybrid approach of logical reasoning and computer computation, we obtain...
  • HASL

  • Referenced in 6 articles [sw13330]
  • stochastic models. We introduce the Hybrid Automata Stochastic Logic (HASL), a new temporal logic formalism...
  • Clingcon

  • Referenced in 34 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic answer set solver Clingo ... answer set solver for (extended) constraint normal logic programs. It combines the high-level modeling...
  • DOMINO

  • Referenced in 2 articles [sw02164]
  • these two traditional views, called hybrid logic or the hybrid view, is introduced...
  • HyLoBan

  • Referenced in 1 article [sw17659]
  • Experiments in theorem proving for topological hybrid logic. This paper discusses two experiments in theorem ... proving for hybrid logic under the topological interpretation. We begin by discussing the topological interpretation ... hybrid logic and noting what it adds to the topological interpretation of orthodox modal logic ... tableaux-based theorem prover for hybrid logic under the standard relational interpretation. We compare...