• JudoSTM

  • Referenced in 4 articles [sw25471]
  • parallelism rather than maintaining correctness and avoiding deadlock. Many implementations of hardware, software, and hybrid...
  • gluepy

  • Referenced in 1 article [sw23590]
  • programmers from explicit synchronization, while avoiding the recursion deadlock problems from which some models based...
  • Syco

  • Referenced in 2 articles [sw21210]
  • avoid redundant computations during testing. Besides, SYCO incorporates an option to effectively catch deadlock errors...
  • Gadara

  • Referenced in 1 article [sw09940]
  • captures the avoidance of certain types of concurrency bugs, such as deadlocks. We focus...
  • Matlab

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • REACH

  • Referenced in 6 articles [sw00788]
  • REACH ( R ealistic E xtension A lgorithm via...
  • Workcraft

  • Referenced in 5 articles [sw01021]
  • Reliable high-level modeling constructs are crucial to...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • SPIN

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

  • Referenced in 2650 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Cbc

  • Referenced in 36 articles [sw04440]
  • Cbc (Coin-or branch and cut) is an...
  • LINDO

  • Referenced in 546 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • GLPK

  • Referenced in 174 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • Uppaal

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

  • Referenced in 44 articles [sw08922]
  • Eraser: a dynamic data race detector for multithreaded...
  • PARSEC

  • Referenced in 26 articles [sw09610]
  • The PARSEC benchmark suite: characterization and architectural implications...
  • RacerX

  • Referenced in 16 articles [sw09941]
  • RacerX: Effective, static detection of race conditions and...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • LTUR: A simplified linear time unit resolution algorithm...
  • Supremica

  • Referenced in 15 articles [sw18546]
  • Supremica - An integrated environment for verification, synthesis and...
  • Goblint

  • Referenced in 6 articles [sw20223]
  • Goblint: path-sensitive data race analysis. We present...