• MATISSE

  • Referenced in 27 articles [sw06311]
  • framework of abstracting linear systems using approximate bisimulation relations [1,2,3,4]. Contrary ... language inclusion or exact bisimulation relations, approximate bisimulation relations do not require the behavior ... abstraction to be exactly the same. Approximate bisimulation relations aim in capturing the most significant ... given by the precision of the approximate bisimulation. This precision notably provides a bound...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • decidability over the reals, to compute Bisimulation Functions (BFs) that characterize Input-to-Output Stability ... replaced-with bounded error-by an approximately equivalent abstraction, thereby enabling approximate model-order reduction...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • Sostools

  • Referenced in 289 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • PRISM

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SeDuMi

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • CPLEX

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

  • Referenced in 331 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • MRMC

  • Referenced in 71 articles [sw04129]
  • The ins and outs of the probabilistic model...