• Antichains

  • Referenced in 33 articles [sw20208]
  • automata, and the emptiness problem for alternating finite automata...
  • LTL2BA

  • Referenced in 100 articles [sw10956]
  • automata from Linear Time Logic (LTL) formulae. This algorithm generates a very weak alternating...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • driven monitoring process. Alternatively, temporal specifications can be translated into automata or algorithms that...
  • TravMC2

  • Referenced in 5 articles [sw20008]
  • higher-order model checking for alternating parity tree automata. Higher-order model checking ... using trivial tree automata i.e. Buechi tree automata all of whose states are final. Building ... which supports properties specified using alternating parity tree automata (or equivalently monadic second order logic...
  • ltl3tela

  • Referenced in 1 article [sw37532]
  • self-loop alternating automata with generic acceptance and back. Self-loop alternating automata (SLAA) with ... formalisms also known as very weak alternating automata (VWAA). They are often used...
  • Binary Multirelations

  • Referenced in 1 article [sw32214]
  • power set. Applications include alternating automata, models and logics for games, program semantics with dual...
  • PESTS

  • Referenced in 2 articles [sw35864]
  • finite-state automata that can be used as an alternative to natural projection...
  • MORPHIX

  • Referenced in 2 articles [sw32880]
  • presents an alternative approach to the use of the Finite State Automata for morphology...
  • RE2

  • Referenced in 3 articles [sw10266]
  • fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE ... time on even small inputs. RE2 uses automata theory to guarantee that regular expression searches...
  • HighSpec

  • Referenced in 1 article [sw09750]
  • specifying data structures and Timed Automata’s in modelling dynamic and real-time behaviors, OZTA ... also generate LaTeX document as an alternative media for the spread and read of established...
  • DyverseRBT

  • Referenced in 1 article [sw41812]
  • Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application ... time. For this purpose, we propose an alternative abstraction of multi-rigid-body (MRB) mechanical...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Cinderella

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 72 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Grail

  • Referenced in 22 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...