• Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Kronos

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

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • HyTech

  • Referenced in 333 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • SNAP

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • Uppaal

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

  • Referenced in 37 articles [sw10314]
  • d/dt is a tool for reachability analysis of...
  • APMC

  • Referenced in 29 articles [sw11483]
  • Approximate probabilistic model checking. Symbolic model checking methods...
  • Charon

  • Referenced in 20 articles [sw19755]
  • Modular specification of hybrid systems in Charon. A...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • CellExcite

  • Referenced in 1 article [sw35366]
  • CellExcite: an efficient simulation environment for excitable cells...