• 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 state-space. 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]
  • object-oriented programs and novel comparisons of states. Given a set of methods from ... length of sequences, Symstra systematically explores the object-state 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 state-of-the-art techniques on multi-label...
  • StEAM

  • Referenced in 6 articles [sw01987]
  • multi-threading 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 on-going ... 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...
  • CLPS-B

  • 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 control-explicit data-symbolic state space exploration. We present SymDIVINE: a tool ... SymDIVINE extends the standard explicit-state state space exploration with SMT machinery to handle ... between a symbolic executor and an explicit-state 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 state-space exploration. In the quest for fast ... binary strings as well as for state-space exploration of a large collection of Petri...
  • Access/CPN

  • Referenced in 6 articles [sw02024]
  • implementation of a simple command-line state space exploration tool...
  • MODIST

  • Referenced in 3 articles [sw13044]
  • centralized, OS-independent 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 state-space 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 state-of-the-art 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 state-of-the-art 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 state-of-the-art routing algorithms coming from...