
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...

APNNToolbox
 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...

ERAPAT
 Referenced in 2 articles
[sw13259]
 crucial applications; however, the socalled state space explosion problem often prevents model checking ... results show that our tool outperforms the stateoftheart 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]
 stateexplosion problem, PARTS employs several optimization techniques aimed at statespace 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 nextgeneration 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 stateoftheart 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...