
VESTA
 Referenced in 24 articles
[sw08425]
 property speciﬁed in probabilistic computation tree logic (PCTL) [3] or continuous stochastic logic ... stochastic model. Furthermore, VESTA supports the statistical computation of expected values of expressions written...

APNNToolbox
 Referenced in 11 articles
[sw06976]
 liveness but also model cheking for computational tree logic (CTL) and linear temporal logic...

ACTLW
 Referenced in 7 articles
[sw21031]
 ACTLW  an actionbased computation tree logic with unless operator. Model checkers for systems represented ... temporal logic ACTLW, which enhances popular computation tree logic (CTL) with the notion of actions ... Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent ... Processes, Proceedings LITP Spring School on Theoretical Computer Science, LNCS...

CTLRP
 Referenced in 4 articles
[sw25264]
 computation tree logic resolution prover. In this paper, we present a resolutionbased calculus RCTL ... Computation Tree Logic (CTL) as well as an implementation of that calculus in the theorem...

DDebugger
 Referenced in 15 articles
[sw09904]
 logic specifications. Declarative debugging is a semiautomatic technique that starts from an incorrect computation ... error by building a tree representing this computation and guiding the user through ... elements of a sort. Rewriting logic is a logic of change that extends ... abbreviation of the proof trees computed with this calculus to build appropriate debugging trees...

REAL92
 Referenced in 3 articles
[sw03291]
 dynamic version of Computation Tree Logic (CTL), both  SDL and CTL  with a real time...

Isabelle/ZF
 Referenced in 62 articles
[sw04973]
 tools for proving those formulas in a logical calculus. The main application is the formalization ... correctness of computer hardware or software and proving properties of computer languages and protocols. Isabelle/ZF ... Theorem. Isabelle/ZF also provides theories of lists, trees, etc., for formalizing computational notions. It supports...

kPWorkbench
 Referenced in 2 articles
[sw19654]
 both Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) properties by making...

CTLSAT
 Referenced in 1 article
[sw31991]
 Computation Tree Logic) SAT solver...

PLSMC
 Referenced in 1 article
[sw14776]
 existing model checking tools such as computation tree logic (CTL) and linear temporal logic...

MOCUS
 Referenced in 9 articles
[sw12553]
 MOCUS: a computer program to obtain minimal sets from fault trees. From a description ... Boolean failure logic of a system, called a fault tree, and control parameters specifying...

ConfigChecker
 Referenced in 1 article
[sw28842]
 decision diagrams (BDDs). We then use computation tree logic (CTL) and symbolic model checking...

FuzzyFTA
 Referenced in 6 articles
[sw12421]
 computational system, FuzzyFTA, for reliability analysis using fault tree and fuzzy logic. Some measures ... used to determine importance measures. The computer code application is the Auxiliary Feedwater System (AFWS...

FATRAM
 Referenced in 3 articles
[sw25821]
 logic models (in particular, fault trees). Although these methods are theoretically correct, computer implementation...

ELRAFT
 Referenced in 2 articles
[sw25846]
 ELRAFT A Computer Program for the Efficient Logic Reduction Analysis of Fault Trees ... analysis is the Fault Tree. In Fault Tree analysis, component failures or conditions (basic events ... probability theory to the logic scheme thus depicted permits computation of system failure probability where...

KRIPKE
 Referenced in 8 articles
[sw01162]
 decision procedure for each of these logics describes a way of recursively constructing ... search which will contain as a subtree a proof of A if there ... exponential rate at which the proof search tree for A usually grows. Hence ... this decision procedure could be mechanized via computer was asked...

Anima
 Referenced in 4 articles
[sw10101]
 technique for the trace inspection of Rewriting Logic theories that allows the nondeterministic execution ... from a selected state in the computation tree, the navigation of the trace is driven...

RRE
 Referenced in 9 articles
[sw22305]
 Preserving the availability and integrity of networked computing systems in the face of fastspreading ... response trees to analyze undesired security events and their countermeasures using Boolean logic to combine...

PrologCheck
 Referenced in 3 articles
[sw14206]
 property based testing of programs in the logic programming language Prolog with randomised test data ... constraints on the number of successful computations. We evaluate our tool on a number ... debug a Prolog library for AVL search trees...

NuprlLight
 Referenced in 1 article
[sw31982]
 NuprlLight uses generalized Horn clauses for logical specification. Indeed, specifications in NuprlLight appear ... resolution, NuprlLight retains a tactictree [3] of LCF [8] style reasoning based ... computational congruence of Howe [7]. Like LF, the NuprlLight metalogic also relies...