
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 realtime 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 highlevel language and interactive...

NetworkX
 Referenced in 161 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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