m-NEVER system summary

• 23 November 2005
• book chapter
• Published by Springer Nature
• p. 738-739
• https://doi.org/10.1007/bfb0012874

Abstract

Keywords

• AUTOMATIC INDUCTION
• DECISION PROCEDURES
• FORWARD RULES
• INTERACTIVE THEOREM PROVING
• PROGRAM VERIFICATION
• REWRITE RULES