• OFMC

  • Referenced in 28 articles [sw09466]
  • lazy intruder with ideas from partial-order reduction. Moreover, OFMC allows one to analyze security...
  • DPF

  • Referenced in 3 articles [sw12853]
  • storage and backtracking strategies, and dynamic partial-order reduction. In particular, we define independence relations ... show the effectiveness of dynamic partial-order reduction based on these relations.par We apply...
  • Syco

  • Referenced in 2 articles [sw21210]
  • kernel includes state-of-the-art partial-order reduction techniques to avoid redundant computations during...
  • Stuttering Equivalence

  • Referenced in 1 article [sw28575]
  • certain verification techniques such as partial-order reduction for model checking. We formalize stuttering equivalence...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • veriSoft

  • Referenced in 92 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • LoLA

  • Referenced in 27 articles [sw04381]
  • LoLa: A low level analyser. With LoLA, we...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...
  • Rodin

  • Referenced in 92 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • CPAchecker

  • Referenced in 54 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis...
  • SymmSpin

  • Referenced in 21 articles [sw07517]
  • Symmetric Spin We give a detailed description of...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...
  • KRATOS

  • Referenced in 8 articles [sw07808]
  • KRATOS: A software model checker for SystemC. he...
  • MAFFT

  • Referenced in 48 articles [sw08304]
  • MAFFT: Multiple alignment program for amino acid or...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...