Results 1 to 20 of 47
Sort by:

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