• vlogsl

  • Referenced in 3 articles [sw12874]
  • vlogsl: a strategy language for simulation-based verification of hardware. Languages such as SystemVerilog...
  • Breach

  • Referenced in 24 articles [sw20822]
  • Breach, a toolbox for verification and parameter synthesis of hybrid systems. We describe Breach ... toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic...
  • HASL

  • Referenced in 6 articles [sw13330]
  • temporal logic formalism for the verification of discrete event stochastic processes (DESP). HASL employs Linear ... moments of path random variables. A simulation-based statistical engine is employed to obtain ... essence HASL provides a unifying verification framework where temporal reasoning is naturally blended with elaborate...
  • MATF

  • Referenced in 1 article [sw41253]
  • work, we propose a scheme that is based on the multi-attribute trust criteria ... verification of our proposed MATF using HLPN, SMT-Lib, and Z3 Solver, and (c) simulation ... based validation and evaluation of the proposed trust framework in the context of optimized link...
  • Isabelle

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

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

  • Referenced in 96 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...
  • R

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

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

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • GALib

  • Referenced in 68 articles [sw04086]
  • GAlib: A C++ Library of Genetic Algorithm Components...
  • SifDec

  • Referenced in 216 articles [sw04087]
  • CUTEr and SifDec: a constrained and unconstrained testing...
  • LiQuor

  • Referenced in 18 articles [sw04136]
  • LiQuor is a tool for verifying probabilistic reactive...
  • Simulink

  • Referenced in 815 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • YALMIP

  • Referenced in 1033 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • MPT

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • GAMS

  • Referenced in 865 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...