• ZenoTool

  • Referenced in 1 article [sw10129]
  • ZenoTool, A Zeno Run detection tool for UPPAAL. ZenoTool is a small, fast command-line ... with UPPAAL for the occurrence of Zeno Runs. Zeno Runs are paths in the timed ... comply with real-world behavior, Zeno Runs often are unintentional. Moreover, timelocks, the counterpart...
  • Matlab

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

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • SeDuMi

  • Referenced in 1168 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • YALMIP

  • Referenced in 897 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Uppaal

  • Referenced in 622 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • DLMF

  • Referenced in 2196 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • REDLIB for the Formal Verification of Embedded Systems...
  • GitHub

  • Referenced in 1423 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...