• PVS

  • Referenced in 626 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Gurobi

  • Referenced in 577 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • NuSMV

  • Referenced in 299 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Mosek

  • Referenced in 420 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Uppaal

  • Referenced in 640 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • z3

  • Referenced in 515 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Prover9

  • Referenced in 183 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • qpOASES

  • Referenced in 67 articles [sw05107]
  • qpOASES – Online Active Set Strategy. qpOASES is an...
  • ParaView

  • Referenced in 182 articles [sw06128]
  • ParaView is an open-source, multi-platform data...
  • Maude

  • Referenced in 677 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • SciPy

  • Referenced in 605 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • NumPy

  • Referenced in 445 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • calib

  • Referenced in 59 articles [sw06524]
  • Camera calibration toolbox for Matlab...
  • OpenGL

  • Referenced in 131 articles [sw06740]
  • OpenGL (Open Graphics Library) is a cross-language...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Excel

  • Referenced in 779 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • JavaScript

  • Referenced in 161 articles [sw06868]
  • JavaScript is a scripting language for computers. It...