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