Tools on Rewriting

2 tools found.

• CeTA

  last modified: Nov 17, 2023 17:14:00

  

  CeTA is a tool that certifies termination analysis (in terms of a termination proof) provided by a termination tool.

  The current version is 3.0.1. To access previous versions of CeTA and see the differences please visit this site....

  

  categories certification termination Isabelle LGPL term_rewriting

• Isabelle

  last modified: Dec 31, 2017 00:57:37

  

  Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.

  Last updated: 2017-12-30 16:57:08...

  

  categories theorem_prover Isabelle