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