Lightweight Formal Methods for Computer Algebra Systems

In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor program analysis and veri cation. We give examples act speci cations of AXIOM primitives, and provide face between these abstractions and Aldor code.

• Type: Conference
• Year: 1998
• Where: ISSAC
• Authors: Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
• Keywords: Aldor Program Analysis, Formal Methods Tools, ISSAC 1998, Mathematics, Veri Cation