Results 1 to 14 of 14
Sort by:

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

  • GNT
  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...

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

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • McEliece
  • Referenced in 250 articles [sw02076]
  • Practical power analysis attacks on software implementations of...

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • CPLEX
  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • HOL
  • Referenced in 583 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...

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

  • Potassco
  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...

  • clasp
  • Referenced in 103 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...

  • Agda
  • Referenced in 205 articles [sw09689]
  • Agda is a dependently typed functional programming language...

  • Esterel
  • Referenced in 165 articles [sw20012]
  • Esterel is both a programming language, dedicated to...