• MATISSE

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...