Results 1 to 20 of 37
Sort by:

  • Concurrency Workbench
  • Referenced in 12 articles [sw14749]
  • process, or checking various semantic equivalences and preorders; define propositions in a powerful modal logic ... logical formulae which distinguish nonequivalent processes; interactively simulate the behaviour of an agent, thus guiding...

  • AMD
  • Referenced in 60 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...

  • COLAMD
  • Referenced in 32 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...

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

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

  • Magma
  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...

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

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

  • SuperLU
  • Referenced in 195 articles [sw00930]
  • SuperLU is a general purpose library for the...

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

  • mCRL2
  • Referenced in 55 articles [sw01496]
  • mCRL2 stands for micro Common Representation Language 2...

  • LOTOS
  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...

  • ELECTRE
  • Referenced in 129 articles [sw02971]
  • Electre Methods. Over the last three decades a...

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

  • MUMPS
  • Referenced in 504 articles [sw04013]
  • Solution of large linear systems with symmetric positive...

  • METIS
  • Referenced in 468 articles [sw04089]
  • METIS is a set of serial programs for...

  • Valgrind
  • Referenced in 62 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...

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