Tools on Rewriting

2 tools found.

• CeTA

  last modified: Jun 29, 2024 00:14:00

  

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

  * 2024/06/28: IsaFoR/CeTA version 3.2 has been released. ... The current version is 3.2. To access previous versions of CeTA and see...

  

  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