• Konclude

  • Referenced in 13 articles [sw12474]
  • almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary ... safe rules simply by using given ontology syntax extended with variables. Konclude can be used...
  • Robinson arithmetic

  • Referenced in 2 articles [sw42008]
  • Robinson_Arithmetic. Robinson Arithmetic: We instantiate our syntax-independent logic infrastructure developed in a separate ... latter was formalised using Nominal Isabelle by adapting Larry Paulson’s formalization of the Hereditarily...
  • Coq

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

  • Referenced in 19 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...
  • Isabelle

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

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

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

  • Referenced in 32 articles [sw00663]
  • Semantic definitions of full-scale programming languages are...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

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

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

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Isar

  • Referenced in 145 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Mizar

  • Referenced in 506 articles [sw04704]
  • The Mizar System is the only implementation of...
  • z3

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

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

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