• APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • 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...
  • Rapture

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

  • Referenced in 6 articles [sw20223]
  • invariant approach to avoid the state space explosion problem and is both context- and path...
  • Timed Rebeca

  • Referenced in 3 articles [sw40758]
  • that our approach mitigates the state space explosion problem of the former methods and allows...
  • ERA-PAT

  • Referenced in 2 articles [sw13259]
  • 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]
  • copes with the state space explosion problem using Dynamic Partial Order Reduction and State Equality...
  • PLSMC

  • Referenced in 1 article [sw14776]
  • 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 32 articles [sw18284]
  • calculation of underground explosion phenomena and other time dependent problems involving the motion of elastic ... space dimensions (cartesian or axial symmetry), and is particularly appropriate for problems involving compressible flow ... 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...
  • AADL

  • Referenced in 4 articles [sw20835]
  • state space explosion caused by the interleavings. The Multirate PALS formal pattern reduces the problem...
  • PARTS

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

  • Referenced in 3 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...
  • MasterMovelets

  • Referenced in 1 article [sw34436]
  • applied to many real problems, basically considering the dimensions of space and time or attributes ... inferred from these dimensions. However, with the explosion of social media data and the advances ... Experimental results show that our approach outperforms state-of-the-art methods by reducing...
  • Apron

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

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

  • Referenced in 39 articles [sw00254]
  • Eviews supports general statistical analysis and econometric analyses...
  • Isabelle

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

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

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

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...