
PRISM
 Referenced in 454 articles
[sw01186]
 against specifications written in the probabilistic temporal logics PCTL and CSL. The tool features three...

Kronos
 Referenced in 274 articles
[sw01270]
 expressed in the realtime temporal logic TCTL...

CESAR
 Referenced in 161 articles
[sw08510]
 formulas of a branching time logic, the temporal operators of which can be computed iteratively...

MCMAS
 Referenced in 82 articles
[sw09463]
 Verification of MultiAgent Systems. While temporal logic in its various forms has proven essential...

BIOCHAM
 Referenced in 45 articles
[sw09927]
 inferring unknown model parameters from temporal logic constraints. Biocham is mainly composed of : a rule ... several simulators (boolean, differential, stochastic), a temporal logic based language to formalize the temporal properties ... kinetic parameters in high dimension from temporal logic constraints. Biocham is a free software protected...

METATEM
 Referenced in 55 articles
[sw06568]
 methodology for the use of temporal logic as an executable imperative language is introduced ... concrete framework, called METATEM, for executing temporal formulae, is motivated and illustrated through examples ... relating to the METATEM approach to executable logics...

JPAX
 Referenced in 30 articles
[sw09906]
 user provided properties formulated in temporal logic. JPAX can in addition analyze the program ... specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race ... analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic ... logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated...

PGSolver
 Referenced in 36 articles
[sw14051]
 well as model checking) for temporal logics. In this paper we investigate practical aspects...

BPEL2oWFN
 Referenced in 28 articles
[sw06956]
 Petri net property, or check any temporal logic formula with a variety of model checking...

Cadence SMV
 Referenced in 27 articles
[sw07795]
 that allows you to formally verify temporal logic properties of finite state systems, such...

TRP++
 Referenced in 18 articles
[sw14679]
 theorem prover for Propositional Linear Time Temporal Logic based on the temporal resolution calculus ... clausal resolution approach to propositional temporal logic; Creating an experimental environment to try different modifications...

SPOT
 Referenced in 26 articles
[sw09473]
 efficient) translation of LTL (linear temporal logic) into TGBA. We then show how it supports...

Breach
 Referenced in 26 articles
[sw20822]
 robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges...

TLA
 Referenced in 26 articles
[sw04442]
 stands for the Temporal Logic of Actions, but it has become a shorthand for referring...

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

STaLiRo
 Referenced in 22 articles
[sw09775]
 TaLiRo: A tool for temporal logic falsification for hybrid systems. STaLiRo is a Matlab...

LTSmin
 Referenced in 21 articles
[sw07214]
 algorithms), partial order reduction and linear temporal logic...

TuLiP
 Referenced in 14 articles
[sw20173]
 software toolbox for receding horizon temporal logic planning. This paper describes TuLiP, a Pythonbased ... expressive subset of linear temporal logic (LTL) specifications. TuLiP combines routines for (1) finite state...

SCR
 Referenced in 19 articles
[sw06939]
 succ. This slight extension of firstorder logic allows us to increase the readability ... simple and avoids the complexity of temporal logic...

PVeStA
 Referenced in 18 articles
[sw08423]
 PCTL/CSL, or (ii) the QuaTEx quantitative temporal logic. As our experiments show, the performance gains...