The theorem prover of the program verifier Tatzelwurm

DOI10.1007/3-540-52885-7_128zbMath1509.6831MaRDI QIDQ6488579

Thomas Käufl, Nicolas Zabel

Publication date: 28 April 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols ⋮ Deciding the word problem for ground identities with commutative and extensional symbols

Cites Work

• Simplification by Cooperating Decision Procedures
• Unnamed Item
• Unnamed Item

This page was built for publication: The theorem prover of the program verifier Tatzelwurm