• qasm-tools

  • Referenced in 1 article [sw27652]
  • verify stabilizer circuits using a version of CHP adapted to work with qasm input files...
  • Matlab

  • Referenced in 11446 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • M-TREE

  • Referenced in 13 articles [sw02565]
  • Secure processor architectures enable new sets of applications...
  • LOTOS

  • Referenced in 150 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • Gurobi

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

  • Referenced in 86 articles [sw04214]
  • TOMLAB is a general purpose development and modeling...
  • CADP

  • Referenced in 129 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...