• 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...

• Isabelle/HOL

• Referenced in 1025 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• 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...

• NAS Parallel Benchmarks

• Referenced in 128 articles [sw08853]
• The NAS Parallel Benchmarks (NPB) are a small...

• 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...