• SMV

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

  • Referenced in 8 articles [sw23207]
  • program transformations: lock-freedom analysis, deadlock-freedom analysis, useless-code elimination, information flow analysis ... each communication succeeds or not. The lock-freedom analysis can answer, e.g., the following questions ... interface for TyPiCal’s deadlock-freedom analysis here...
  • SACO

  • Referenced in 11 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...
  • Timed Rebeca

  • Referenced in 3 articles [sw40758]
  • Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Timed Rebeca ... approach for checking schedulability and deadlock freedom of Timed Rebeca models. The key features...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • results, which, among other things, guarantees freedom from deadlocks and race conditions...
  • Gopherlyzer

  • Referenced in 2 articles [sw23206]
  • automata-based methods to check for deadlock- freedom. The approach is implemented and evaluated with...
  • Nagini

  • Referenced in 1 article [sw40594]
  • verify memory safety, functional properties, termination, deadlock freedom, and input/output behavior. Our experiments show that...
  • WorkflowFM

  • Referenced in 1 article [sw21519]
  • verified consistency, rigorous resource accounting, and deadlock freedom. The 3-tiered server/client architecture of WorkflowFM...
  • D-Finder

  • Referenced in 17 articles [sw00200]
  • D-Finder tool implements a compositional method for...
  • Matlab

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

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SPIN

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

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

  • Referenced in 140 articles [sw05370]
  • OBJ3 is a program specification and proof system...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • MIXED

  • Referenced in 76 articles [sw06480]
  • Approach of linear mixed model in longitudinal data...
  • BPEL2oWFN

  • Referenced in 28 articles [sw06956]
  • GNU BPEL2oWFN translates a web service expressed in...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • A computational logic handbook. This book is a...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • PMaude: Rewrite-based Specification Language for Probabilistic Object...
  • PVeStA

  • Referenced in 18 articles [sw08423]
  • PVeStA: A parallel statistical model checking and quantitative...