• SPOT

  • Referenced in 22 articles [sw09473]
  • simple (yet efficient) translation of LTL (linear temporal logic) into TGBA. We then show...
  • PESSOA

  • Referenced in 15 articles [sw20123]
  • specification in a fragment of Linear Temporal Logic that is expressive enough to describe interesting...
  • LTSmin

  • Referenced in 14 articles [sw07214]
  • symbolic algorithms), partial order reduction and linear temporal logic...
  • RoVerGeNe

  • Referenced in 13 articles [sw10954]
  • models, dynamical properties are expressed in linear temporal logic and uncertain parameters are specified...
  • APNN-Toolbox

  • Referenced in 10 articles [sw06976]
  • computational tree logic (CTL) and linear temporal logic (LTL) to consider more general properties...
  • STeLP

  • Referenced in 10 articles [sw09772]
  • which allow a simple definition of temporal logic programs, including a special syntax for action ... standard ASP solver with a linear temporal logic model checker in order to find...
  • TLPVS

  • Referenced in 10 articles [sw10024]
  • present our pvs implementation of a linear temporal logic verification system. The system includes...
  • MAVEN

  • Referenced in 10 articles [sw07659]
  • state machine constructed using the linear temporal logic (LTL) description of the assumptions, a description...
  • TRP++

  • Referenced in 15 articles [sw14679]
  • theorem prover for Propositional Linear Time Temporal Logic based on the temporal resolution calculus...
  • TTM

  • Referenced in 8 articles [sw11997]
  • theorem prover for the Propositional Linear Temporal Logic called PLTL. TTM allows you to test...
  • TuLiP

  • Referenced in 7 articles [sw20173]
  • software toolbox for receding horizon temporal logic planning. This paper describes TuLiP, a Python-based ... respect to an expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines...
  • GOAL

  • Referenced in 7 articles [sw21229]
  • defining and manipulating Büchi automata and temporal logic formulae. It also partially supports other variants ... they are related to linear temporal logics. It may also be used to construct correct...
  • lbtt

  • Referenced in 7 articles [sw29442]
  • that translate formulas expressed in propositional linear temporal logic (LTL) into Büchi automata. The goal...
  • FaPAS

  • Referenced in 4 articles [sw10957]
  • analyzing piecewise affine (PWA) systems from linear temporal logic (LTL) specifications. Specifically, given...
  • TeMP

  • Referenced in 12 articles [sw09989]
  • classical first-order logic by temporal operators for a discrete linear model of time (isomorphic ... used model of time). Formulae of this logic are interpreted over structures that associate with...
  • Petri-PDL

  • Referenced in 3 articles [sw15081]
  • presents a prototype implementation, in the Rewriting Logic language Maude, of a bounded model checker ... rewrite theories defined for the Linear Temporal Logic model checker available in the Maude system...
  • MC2

  • Referenced in 5 articles [sw12883]
  • properties written in Probabilistic Linear-time Temporal Logic with numerical constraints (PLTLc). The model checker...
  • LBT

  • Referenced in 1 article [sw29441]
  • algorithm that converts a linear temporal logic formula to a generalised Büchi automaton. The algorithm ... automatic verification of linear temporal logic. PSTV’95, Fifteenth International Symposium on PROTOCOL SPECIFICATION, TESTING ... subprocess. It parses a linear temporal logic from standard input and writes a corresponding generalised...
  • ProbDiVinE

  • Referenced in 2 articles [sw04134]
  • probabilistic systems against properties formulated in linear temporal logic. Unlike the previous release...
  • kPWorkbench

  • Referenced in 2 articles [sw19654]
  • system models. The framework supports both Linear Temporal Logic (LTL) and Computation Tree Logic...