Results 1 to 20 of 1977
Sort by:

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