
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...

APNNToolbox
 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 Pythonbased ... 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 firstorder 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...

PetriPDL
 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 Lineartime 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...