• Breach

  • Referenced in 24 articles [sw20822]
  • robust monitoring of metric interval temporal logic (MITL) formulas. The application domain of Breach ranges...
  • Casaal

  • Referenced in 5 articles [sw10130]
  • based statistical model checking for weighted metric temporal logic. We present a novel approach ... with respect to the weighted metric temporal logic (WMTL ≤ ). Based on a stochastic semantics...
  • aerial

  • Referenced in 3 articles [sw38022]
  • Almost Event-Rate Independent Monitor for Metric Temporal Logic and Metric Dynamic Logic...
  • MonPoly

  • Referenced in 9 articles [sw39233]
  • specified by formulas in MFOTL (Metric First-Order Temporal Logic...
  • TaLiRo

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

  • Referenced in 2 articles [sw14602]
  • checking satisfiability of Quantitative / Metric Interval Temporal Logic (MITL/QTL) over Reals...
  • SOLOIST

  • Referenced in 1 article [sw16438]
  • many-sorted first-order metric temporal logic, extended with new temporal modalities that support aggregate...
  • Contego

  • Referenced in 1 article [sw34176]
  • logic. We introduce Contego, an approach to integrating security tasks into RTS without affecting temporal ... different modes. We also define a metric to measure the effectiveness of such integration...
  • ACL2

  • Referenced in 282 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • GAP

  • Referenced in 3067 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 669 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5270 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 256 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

  • Referenced in 51 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...