• TINA

  • Referenced in 42 articles [sw03280]
  • their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying ... nets, which have, in general, infinite state spaces, they provide a finite symbolic representation...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • state space and where the common state space explosion problem is accomplished by Kronecker representations ... chains (CTMCs) and their transient or steady state behavior. A rich variety of numerical techniques...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • global invariant approach to avoid the state space explosion problem and is both context...
  • Rapture

  • Referenced in 5 articles [sw13409]
  • reduction techniques that limit the state space explosion problem : automatic abstraction and refinement algorithms...
  • AADL

  • Referenced in 4 articles [sw20835]
  • typically unfeasible due to the state space explosion caused by the interleavings. The Multirate PALS...
  • ERA-PAT

  • Referenced in 2 articles [sw13259]
  • crucial applications; however, the so-called state space explosion problem often prevents model checking ... results show that our tool outperforms the state-of-the-art timed model checker...
  • SimGridMC

  • Referenced in 1 article [sw23751]
  • show how it copes with the state space explosion problem using Dynamic Partial Order Reduction...
  • PLSMC

  • Referenced in 1 article [sw14776]
  • model checking tool to tackle the state space explosion problem. Finally, safety and iterative properties ... functionality of the NuSMV system such that state sensitive, concurrent and periodic properties...
  • TENSOR

  • Referenced in 29 articles [sw18284]
  • program, TENSOR, for the calculation of underground explosion phenomena and other time dependent problems involving ... allows treatment of transient phenoraena in two space dimensions (cartesian or axial symmetry ... between the elastic, cracked, plastic, and fluid states. The equations of motion are a straightforward...
  • Salsa

  • Referenced in 5 articles [sw25430]
  • state explosion problem that plagues model checkers — it can handle specifications whose state spaces...
  • PARTS

  • Referenced in 2 articles [sw03123]
  • state-explosion problem, PARTS employs several optimization techniques aimed at state-space reduction. In this...
  • GRace

  • Referenced in 2 articles [sw28845]
  • lacking of scalability due to the state explosion problem; 3) reporting many false positives because ... modeling; and/or 4) incurring prohibitive runtime and space overhead. In this paper, we propose GRace...
  • PerM

  • Referenced in 4 articles [sw35278]
  • periodic full sensitive spaced seeds . Motivation: The explosion of next-generation sequencing data has spawned ... spaced seeds to significantly improve mapping efficiency for large reference genomes when compared with state...
  • MasterMovelets

  • Referenced in 1 article [sw34436]
  • space and time or attributes inferred from these dimensions. However, with the explosion of social ... Experimental results show that our approach outperforms state-of-the-art methods by reducing...
  • Apron

  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...