• Uppaal2k

  • Referenced in 43 articles [sw01595]
  • visualize a trace as a message sequence chart (MSC). A requirement specification editor that also...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process...
  • TRIM

  • Referenced in 7 articles [sw01375]
  • Triggered Message Sequence Charts (TMSCs) [16] are a scenario-based visual for-malism for capturing...
  • DisCo

  • Referenced in 7 articles [sw10393]
  • tool for representing execution traces as message sequence charts. A prototype verification back-end based...
  • jMocha

  • Referenced in 3 articles [sw24777]
  • simulator that displays traces in a message sequence chart fashion; (3) requirements verification both...
  • MSCPDL

  • Referenced in 1 article [sw02228]
  • distributed system is the use of Message Sequence Charts (MSC). A MSC gives a graphical...
  • Matlab

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

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

  • Referenced in 14 articles [sw00986]
  • TulaFale: a security tool for web services. Web...
  • HySAT

  • Referenced in 23 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • EMSO

  • Referenced in 2 articles [sw02693]
  • EMSO-definability of some languages with event structures...
  • TASS

  • Referenced in 2 articles [sw02740]
  • TASS (Timing Analyzer of Scenario-based Specifications) is...
  • LOTOS

  • Referenced in 150 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • UCI-ml

  • Referenced in 2940 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • HyTech

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

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

  • Referenced in 774 articles [sw04218]
  • ARPACK is a collection of Fortran77 subroutines designed...
  • KernSmooth

  • Referenced in 880 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • nag

  • Referenced in 310 articles [sw06239]
  • NAG optimization experts have developed, extensively tested and...