• MSVL

  • Referenced in 6 articles [sw31710]
  • which is an executable subset of projection temporal logic (PTL). Specifically, we extendMSVL with...
  • TRP++

  • Referenced in 18 articles [sw14679]
  • Propositional Linear Time Temporal Logic based on the temporal resolution calculus. It is released under ... later). The main goals of the project are: Developing a robust, and relatively efficient version ... clausal resolution approach to propositional temporal logic; Creating an experimental environment to try different modifications...
  • PLSMC

  • Referenced in 1 article [sw14776]
  • symbolic model checker for propositional projection temporal logic. The formal specification languages for existing model ... computation tree logic (CTL) and linear temporal logic (LTL) are not powerful enough to describe ... design and implementation procedure of propositional projection temporal logic (PPTL) symbolic model checker (PLSMC...
  • SCR

  • Referenced in 19 articles [sw06939]
  • method has been successfully used in many projects and organizations to specify software requirements, surprisingly ... logic via two symbols pred and succ. This slight extension of first-order logic allows ... simple and avoids the complexity of temporal logic...
  • MyStoryPlayer

  • Referenced in 1 article [sw21963]
  • audiovisual annotation tool developed by the project ECLAP, the e-library for performing arts. This ... them with other audiovisual objects through temporal and logical relationships. A user can therefore connect...
  • BioImageXD

  • Referenced in 2 articles [sw18624]
  • dimensional microscopy images. It’s a collaborative project, designed and developed by microscopists, cell biologists ... used for simple visualization of multi-channel temporal image stacks to complex 3D rendering ... tens of tools for mathematical and logical processing and noise reduction. Analysis tools cover both...
  • Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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

  • Referenced in 13 articles [sw00316]
  • Galileo: A tool for dynamic fault tree analysis...
  • GAP

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

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

  • Referenced in 52 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • MiniSat

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