
Zing
 Referenced in 38 articles
[sw01037]
 build a flexible and scalable systematic state space exploration infrastructure for software. This infrastructure includes ... architecture, to push the frontier on exploring large state spaces of software. We believe that...

UPPAAL TIGA
 Referenced in 46 articles
[sw12913]
 terminate long before having explored the entire statespace. Also the individual steps...

dSPIN
 Referenced in 31 articles
[sw09888]
 standard SPIN’s state space exploration and reduction algorithms: memory references (pointers); dynamic memory allocation/deletion...

LASH
 Referenced in 23 articles
[sw21269]
 toolset for representing infinite sets and exploring infinite state spaces. It is based on finite...

Symstra
 Referenced in 19 articles
[sw01296]
 objectoriented programs and novel comparisons of states. Given a set of methods from ... length of sequences, Symstra systematically explores the objectstate space of the class and prunes ... this exploration based on the state comparisons. Experimental results show that Symstra generates unit tests...

node2vec
 Referenced in 83 articles
[sw27202]
 argue that the added flexibility in exploring neighborhoods is the key to learning richer representations ... demonstrate the efficacy of node2vec over existing stateoftheart techniques on multilabel...

StEAM
 Referenced in 6 articles
[sw01987]
 multithreading and different exploration algorithms on a dynamic state description. The error reporting capabilities ... estimator functions and state space compaction techniques that additionally reduce the exploration efforts. The evaluation ... problems shows that our system StEAM (State Exploring Assembly Model Checker) can successfully enhance...

XSpeed
 Referenced in 5 articles
[sw20159]
 Parallel state space exploration of linear systems with inputs using XSpeed. We present ongoing ... XSpeed, a tool for parallel state space exploration of continuous systems with linear dynamics ... speed up reachability analysis. A parallel exploration algorithm with multiple initial sets in partitions ... show computation of precise reachable states with our parallel exploration algorithm in comparison...

CRYSTAL
 Referenced in 8 articles
[sw25609]
 exploring solid state chemistry and physics with CRYSTAL...

Memorax
 Referenced in 4 articles
[sw09759]
 tool for the verification of control state reachability (i.e., safety properties) of concurrent programs manipulating ... trivial as it involves exploring state spaces of arbitrary or even infinite sizes. Even ... unboundedly, and hence the state spaces that need to be explored could be of infinite ... make possible the verification of control state reachability for concurrent programs involving integer variables...

CLPSB
 Referenced in 7 articles
[sw00132]
 this approach by comparing the constrained states graph exploration with the concrete...

SymDIVINE
 Referenced in 3 articles
[sw26690]
 tool for controlexplicit datasymbolic state space exploration. We present SymDIVINE: a tool ... SymDIVINE extends the standard explicitstate state space exploration with SMT machinery to handle ... between a symbolic executor and an explicitstate model checker. The key differentiating aspect present ... represented states preventing thus repeated exploration of the state space graph. This is crucially important...

PTrie
 Referenced in 4 articles
[sw35790]
 storing (encodings of) states during a statespace exploration. In the quest for fast ... binary strings as well as for statespace exploration of a large collection of Petri...

Access/CPN
 Referenced in 6 articles
[sw02024]
 implementation of a simple commandline state space exploration tool...

MODIST
 Referenced in 3 articles
[sw13044]
 centralized, OSindependent model checking engine explores these actions systematically. We made MODIST practical through ... positives and false negatives; and a state exploration framework to incorporate heuristics for efficient error...

jMocha
 Referenced in 4 articles
[sw24777]
 model checking is based on exhaustive statespace exploration and the size of the state...

LOEWE
 Referenced in 2 articles
[sw29143]
 used for simulation and compilation, fast state space exploration is performed on extended finite state ... finite state machines with associated interactive state exploration tools, a temporal logic verifier, a compiler...

Isar
 Referenced in 145 articles
[sw04599]
 between internal notions of proof given by stateoftheart interactive theorem proving systems ... constructors, or improper auxiliary commands (for diagnostics, exploration etc.). Proof texts consisting of proper document ... backward tracing of partial documents; intermediate states may be inspected by diagnostic commands...

SPRINT
 Referenced in 11 articles
[sw01362]
 early feedback during the exploration of implementation alternatives for stateoftheart signal processing ... given design. This lack of exploration of the design space often leads to a suboptimal...

AntNet
 Referenced in 65 articles
[sw11975]
 solving optimization problems. AntNet’s agents, concurrently explore the network and exchange collected information ... stigmergy. We compare our algorithm with six stateoftheart routing algorithms coming from...