• Java PathFinder

  • Referenced in 120 articles [sw07658]
  • PSIN model checker will then look for deadlocks and violations of any stated assertions...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • program for concurrency errors such as deadlocks and data races. The concurrency analysis requires ... such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal...
  • PAT

  • Referenced in 31 articles [sw13258]
  • techniques catering for different properties such as deadlock-freeness, divergence-freeness, reachability, LTL properties with...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • guideline using the tool Fiona, check for deadlocks or any other Petri net property...
  • IMITATOR

  • Referenced in 27 articles [sw00439]
  • robustness, untimed language preservation, non-Zeno or deadlock-free parameter synthesis, accepting cycle synthesis...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • Effective, static detection of race conditions and deadlocks. This paper describes RacerX, a static tool ... analysis to detect both race conditions and deadlocks. It is explicitly designed to find errors ... analysis to detect both race conditions and deadlocks. It uses novel strategies to infer checking...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • properties (liveness, reversibility, boundedness, reachability, dead transitions, deadlocks, home states) as well as satisfiability...
  • Creol

  • Referenced in 25 articles [sw09421]
  • locally result in much waiting and even deadlock. The Creol model targets distributed objects...
  • D-Finder

  • Referenced in 14 articles [sw00200]
  • language encompassing multi-party interaction. For deadlock detection, D-Finder applies proof strategies to eliminate ... potential deadlocks by computing increasingly stronger invariants...
  • Scribble

  • Referenced in 15 articles [sw20863]
  • without resulting in unintended consequences, such as deadlocks...
  • SMV

  • Referenced in 13 articles [sw04135]
  • temporal properties, including safety, livenesss, fairness and deadlock freedom, to be specified in a concise...
  • ISP

  • Referenced in 12 articles [sw04895]
  • lines of MPI/C code for deadlocks and assertion violations. It currently supports over...
  • SYNTHESIS

  • Referenced in 8 articles [sw00944]
  • system is correct when it is deadlock-free and performs only specified component interactions ... wrapped components in order to prevent possible deadlocks and make the composed system exhibit only...
  • SACO

  • Referenced in 8 articles [sw21209]
  • resource boundedness) and safety properties (namely deadlock freedom) of programs based on concurrent objects ... information about the dependencies which may introduce deadlocks, loops whose termination is not guaranteed...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • analyses or program transformations: lock-freedom analysis, deadlock-freedom analysis, useless-code elimination, information flow ... interface for TyPiCal’s deadlock-freedom analysis here...
  • Helena

  • Referenced in 11 articles [sw04384]
  • reachable states of the system, and deadlock freeness. Some features of Helena make it particularly...
  • GKLEE

  • Referenced in 10 articles [sw12794]
  • often contain correctness errors such as races, deadlocks, or may compute the wrong result. Existing...
  • jCUTE

  • Referenced in 10 articles [sw26692]
  • programs. It can discover race conditions and deadlocks through systematic schedule exploration...
  • MARMOT

  • Referenced in 6 articles [sw09407]
  • occurrence of race conditions or deadlocks. Examples are the introduction of irreproducibility, deadlocks, and incorrect...