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