scientific article; zbMATH DE number 1341620

MaRDI QIDQ4263169zbMATH OpenFDO

Authors M. Fuchs, Dirk Fuchs

Publication date 22 September 1999

zbMATH Keywords

formal software verificationsymbol abstractions

Mathematics Subject Classification ID

Recommendations

• A relevance restriction strategy for automated deduction
• scientific article; zbMATH DE number 4164177
• Lightweight relevance filtering for machine-generated resolution problems
• SETHEO goes software engineering: application of ATP to software reuse
• Generating relevant models

Cited in

(8)

• Lightweight relevance filtering for machine-generated resolution problems
• Constructing predicate mappings for goal-dependent abstraction
• An abstraction-refinement framework for reasoning with large theories
• scientific article; zbMATH DE number 1612567 (Why is no real title available?)
• scientific article; zbMATH DE number 1303349 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• Generating relevant models
• A relevance restriction strategy for automated deduction

Describes a project that uses

Uses Software

• SETHEO

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 Q4263169)