SETHEO goes software engineering: application of ATP to software reuse

DOI10.1007/3-540-63104-6_9MaRDI QIDQ5234691zbMATH OpenOpenAlexFDO

Authors Bernd Fischer, Johann Schumann

Publication date 1 October 2019

Published in Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/262905/1/final.pdf

Mathematics Subject Classification ID

Theory of software (68N99) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1566286
• Termination of theorem proving by reuse
• Deduction-based software component retrieval
• SETHEO: A high-performance theorem prover
• scientific article; zbMATH DE number 1543299

Cites work

• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• SETHEO: A high-performance theorem prover
• SiCoTHEO: Simple competitive parallel theorem provers

Cited in

(7)

• Reuse of proofs in software verification
• Theorem proving in technology transfer: The user's point of view
• scientific article; zbMATH DE number 1566286 (Why is no real title available?)
• Deduction-based software component retrieval
• scientific article; zbMATH DE number 1612568 (Why is no real title available?)
• scientific article; zbMATH DE number 1341620 (Why is no real title available?)
• scientific article; zbMATH DE number 1543299 (Why is no real title available?)

Describes a project that uses

Uses Software

• SETHEO
• E-SETHEO
• SicoTHEO
• PROTEIN

This page was built for publication: SETHEO goes software engineering: application of ATP to software reuse

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5234691)