• HCSP

• Referenced in 2 articles [sw02577]
• HCSP: Extending CSP for codesign and shared memory. HCSP is a variant of CSP adapted ... motivated by the needs of hardware compilation, HCSP can be applied more widely including software ... form the foundation of a codesign language. HCSP is an extension of CSPP: familiarity with...

• Matlab

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

• Daikon

• Referenced in 44 articles [sw04319]
• The Daikon system for dynamic detection of likely...

• Simulink

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

• StateFlow

• Referenced in 46 articles [sw04350]
• Stateflow® is an environment for modeling and simulating...

• Modelica

• Referenced in 126 articles [sw04352]
• Modelica is a freely available, object-oriented language...

• Cheddar

• Referenced in 8 articles [sw04758]
• Cheddar is a free real time scheduling tool...

• iFEST

• Referenced in 4 articles [sw07300]
• The iFEST project (industrial Framework for Embedded Systems...

• Ptolemy

• Referenced in 81 articles [sw07459]
• A modular formal semantics for Ptolemy. Ptolemy is...

• SysML

• Referenced in 23 articles [sw09155]
• SysML Open Source Specification Project. The SysML.org web...

• Metropolis

• Referenced in 17 articles [sw16265]
• Metropolis: an integrated electronic system design environment. oday...

• Zelus

• Referenced in 4 articles [sw20166]
• Zélus: a synchronous language with ODEs. Zélus is...

• MARTE

• Referenced in 21 articles [sw21826]
• MARTE: Modeling and Analysis of Real-time and...

• Circus

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