scientific article; zbMATH DE number 827984

MaRDI QIDQ4858951zbMATHFDO

Authors Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Publication date 20 December 1995

zbMATH Keywords

Karlsruhe interactive verifiermodule verification

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4074539
• scientific article; zbMATH DE number 1552508
• Tactics and certificates in Meta Dedukti
• Tactical theorem proving in program verification
• A study of an integrated proof strategy

Cited in

(4)

• The tableau-based theorem prover 3 T A P Version 4.0
• scientific article; zbMATH DE number 1552508 (Why is no real title available?)
• Tactical theorem proving in program verification
• scientific article; zbMATH DE number 4074539 (Why is no real title available?)

Describes a project that uses

Uses Software

• KIV

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