scientific article; zbMATH DE number 1748586

zbMATH Open1008.68120MaRDI QIDQ4530471FDOQ4530471

Authors: Johann Schumann 

Publication date: 3 June 2002

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

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

zbMATH Keywords

first-order automated theorem provershigh-quality software

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (4)

• High-automation proofs for properties of requirements models
• Automated Reasoning
• Title not available (Why is that?)
• Zap: Automated Theorem Proving for Software Analysis

Uses Software

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

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)