scientific article; zbMATH DE number 827984

zbMATH Open0838.68099MaRDI QIDQ4858951FDOQ4858951

Authors: Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel 

Publication date: 20 December 1995

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

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

zbMATH Keywords

Karlsruhe interactive verifiermodule verification

Mathematics Subject Classification ID

Cited In (4)

• Tactical theorem proving in program verification
• The tableau-based theorem prover 3 T A P Version 4.0
• Title not available (Why is that?)
• Title not available (Why is that?)

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)