• Motras

  • Referenced in 9 articles [sw09240]
  • Motras: a tool for modal transition systems and their extensions. We present a tool ... modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic...
  • MSTA

  • Referenced in 7 articles [sw09777]
  • MTSA: the modal transition system analyser. Modal transition systems (MTS) are operational models that distinguish ... system to be and behaviour which it is not yet known whether the system should ... behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge ... construction, analysis and elaboration of Modal Transition Systems...
  • VMC

  • Referenced in 5 articles [sw09745]
  • product family specified as a modal transition system, possibly with additional variability constraints, after which...
  • Spartacus

  • Referenced in 15 articles [sw12426]
  • with global modalities and reflexive and transitive relations. Spartacus is the first system ... blocking and lazy branching for the basic modal logic K and observe high effectiveness...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • system is its generality, since it provides a unified environment for various kinds of modal ... modal logics, including usual temporal, epistemic or dynamic logics. We survey the modal languages covered ... including several families of operators with their transitive closure and converse. The decision procedure ... advantages of such semantical proof methods for modal logics, since we believe that the model...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

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

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

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...
  • Isabelle

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

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 309 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

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

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...