SETHEO goes software engineering: Application of ATP to software reuse

DOI10.1007/3-540-63104-6_9zbMath1430.68404OpenAlexW1586368410MaRDI QIDQ5234691

Johann Schumann, Bernd Fischer

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)

Uses Software

• SETHEO
• E-SETHEO
• SicoTHEO
• PROTEIN

Cites Work

• Unnamed Item
• SETHEO: A high-performance theorem prover
• SiCoTHEO: Simple competitive parallel theorem provers

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