Results 1 to 20 of 133
Sort by:

  • Sapo
  • Referenced in 4 articles [sw23566]
  • polytopes while specifications are formalized as Signal Temporal Logic (STL) formulas...

  • BluSTL
  • Referenced in 1 article [sw34746]
  • hybrid controllers from specifications written in Signal Temporal Logic...

  • AMT
  • Referenced in 13 articles [sw38045]
  • tool for monitoring temporal properties of continuous signals. We first introduce Stl/Psl, a specification formalism ... language Psl and the real-time temporal logic Mitl, extended with constructs that allow describing...

  • TaLiRo
  • Referenced in 2 articles [sw10178]
  • propositional temporal logic specification with respect to a discrete time signal. This document provides ... brief introduction to Linear and Metric Temporal Logics, describes the usage of the toolbox...

  • ParetoLib
  • Referenced in 0 articles [sw32890]
  • applied in the parameter synthesis of temporal logic predicates where the influence of parameters ... standard (STL) and extended (STLe) Signal Temporal Logic specifications. The tool is easily upgradeable...

  • Coq
  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Maple
  • Referenced in 5369 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 6343 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

  • QEPCAD
  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...

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

  • Sostools
  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...

  • AUTO
  • Referenced in 942 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...

  • APL
  • Referenced in 79 articles [sw01165]
  • APL (named after the book A Programming Language...

  • PRISM
  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...

  • mCRL2
  • Referenced in 55 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...

  • FoCs
  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...

  • LARCH
  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...