• Maple

  • Referenced in 5403 articles [sw00545]
  • intuitive interface supports multiple styles of interaction, from Clickable Math™ tools to a sophisticated programming...
  • PVS

  • Referenced in 634 articles [sw03484]
  • specification language integrated with support tools and a theorem prover. It is intended to capture...
  • CASL

  • Referenced in 174 articles [sw02235]
  • other languages. Use of Casl is supported by tools...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • flexible knowledge base and supports the cooperation of independent formal tools...
  • Python

  • Referenced in 2164 articles [sw14460]
  • both a small and large scale. Python supports multiple programming paradigms, including object-oriented, imperative ... wide variety of systems. Using third-party tools, such as Py2exe or Pyinstaller, Python code...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • this paper we describe PRISM, a tool being developed at the University of Birmingham ... analysis of probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision ... probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic...
  • Xilinx

  • Referenced in 96 articles [sw07491]
  • systems and beyond. Xilinx offers development tools that support programmable platforms requiring aggressive pace ... ecosystem of Alliance Members, are providing development tools that are defining the next generation...
  • ProofPower

  • Referenced in 57 articles [sw06339]
  • ProofPower is a specification and proof tool based on an implementation of Higher Order Logic ... paradigm, in Standard ML. ProofPower provides support for specification and proof in Z using ... into HOL. The DAZ tool supporting refinement of Z to the SPARK subset...
  • z3

  • Referenced in 606 articles [sw04887]
  • theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic, fixed-size ... number of program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC is the only currently available tool that supports the combined analysis of behavioral ... available in open source, and outperforms other tools for verifying systems modeled in π-calculus...
  • SWI-Prolog

  • Referenced in 48 articles [sw20950]
  • present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed...
  • RelView

  • Referenced in 102 articles [sw00798]
  • RelView-System is an interactive tool for computer-supported manipulation of relations represented as Boolean...
  • SINTEF

  • Referenced in 38 articles [sw02984]
  • GoTools, TTL, MBA, and more.Shallows - open source tool for using programmable graphics cards ... application.Ecoplan is a decision support tool for long-term forest treatment scheduling. It is developed...
  • Numba

  • Referenced in 58 articles [sw21554]
  • statically (using the included pycc tool). Numba supports compilation of Python to run on either...
  • MathSAT5

  • Referenced in 56 articles [sw09569]
  • latest version of the tool. It supports most of the SMT-LIB theories and their...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • also provide support for explicit or BDD-based verification tools that perform either bisimulation reduction...
  • EasyCrypt

  • Referenced in 33 articles [sw09738]
  • proofs in the CertiCrypt framework. The tool supports most common reasoning patterns and is significantly...
  • PEPA

  • Referenced in 117 articles [sw10692]
  • Evaluation Process Algebra. PEPA tools: The PEPA process algebra is supported by the PEPA Eclipse...
  • ABS

  • Referenced in 31 articles [sw21211]
  • models. Finally, we briefly discuss the tool support developed...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • based programming language. Furthermore, we provide tool support for performing discrete-event simulations of models...