• Matlab

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

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • SPIN

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

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Simulink

  • Referenced in 820 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Reo

  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • SystemC

  • Referenced in 42 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a...
  • Pinapa

  • Referenced in 6 articles [sw09955]
  • Pinapa: An extraction tool for SystemC descriptions of...
  • LusSy

  • Referenced in 5 articles [sw14918]
  • LusSy: A toolbox for the analysis of systems...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • Circus

  • Referenced in 90 articles [sw21828]
  • The Semantics of Circus. Circus is a concurrent...