• VESTA

  • Referenced in 24 articles [sw08425]
  • property specified 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...
  • APNN-Toolbox

  • 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 action-based 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...
  • CTL-RP

  • Referenced in 4 articles [sw25264]
  • computation tree logic resolution prover. In this paper, we present a resolution-based 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 semi-automatic 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...
  • 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 sub-tree 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 non-deterministic 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 fast-spreading ... 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...
  • Nuprl-Light

  • Referenced in 1 article [sw31982]
  • Nuprl-Light uses generalized Horn clauses for logical specification. Indeed, specifications in Nuprl-Light appear ... resolution, Nuprl-Light retains a tactic--tree [3] of LCF [8] style reasoning based ... computational congruence of Howe [7]. Like LF, the Nuprl-Light meta-logic also relies...