scientific article; zbMATH DE number 1748586

MaRDI QIDQ4530471zbMATH OpenFDO

Authors Johann Schumann

Publication date 3 June 2002

zbMATH Keywords

first-order automated theorem provershigh-quality software

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1566286
• scientific article; zbMATH DE number 140006
• scientific article; zbMATH DE number 2040893
• Automated theorem proving methods
• scientific article; zbMATH DE number 3986666
• scientific article; zbMATH DE number 49488
• Automating soundness proofs
• scientific article; zbMATH DE number 1552534
• scientific article; zbMATH DE number 4043814
• scientific article; zbMATH DE number 1100750

Cited in

(4)

• High-automation proofs for properties of requirements models
• Automated Reasoning
• scientific article; zbMATH DE number 1566286 (Why is no real title available?)
• Zap: Automated Theorem Proving for Software Analysis

Describes a project that uses

Uses Software

• Concurrency Workbench
• SicoTHEO
• PARTHEO
• Amphion
• MONA
• OTTER
• SETHEO
• Isabelle
• ACL2

This page was built for publication:

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