scientific article; zbMATH DE number 1748586

zbMATH Open1008.68120MaRDI QIDQ4530471FDOQ4530471

Johann Schumann

Publication date: 3 June 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

first-order automated theorem provershigh-quality software

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

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

Recommendations

• Automating soundness proofs 👍 👎
• Automated theorem proving methods 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)