Results 1 to 20 of 45
Sort by:

  • 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...