• Coq

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

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • LARCH

  • Referenced in 103 articles [sw02126]
  • The Larch family of languages supports a two...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • OCaml

  • Referenced in 272 articles [sw06363]
  • OCaml is the most popular variant of the...
  • CCalc

  • Referenced in 76 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • DB-KIT

  • Referenced in 1 article [sw38292]
  • Recent Advances in Key-Performance-Indicator Oriented Prognosis...