Lightweight Formal Methods for Computer Algebra Systems

13 years 8 months ago

Download axiom-portal.newsynthesis.org

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.

Martin Dunstan, Tom Kelsey, Steve Linton, Ursula M

Real-time Traffic

Aldor Program Analysis | Formal Methods Tools | ISSAC 1998 | Mathematics | Veri Cation |

claim paper

Related Content

» Automated Reasoning in Kleene Algebra

» Strand Algebras for DNA Computing

» Experiences Using Lightweight Formal Methods for Requirements Modeling

» Mathematics for Formal Methods a Proposal for Education Reform

» Formal Methods and Cryptography

» Algebraic Methods for Specification and Formal Development of Programs

» Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

» A Rewriting Framework for RuleBased Programming Dynamic Applications

» On the Application of Formal Methods for Specifying and Verifying Distributed Protocols

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	ISSAC
Authors	Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin

Comments (0)

Sciweavers

Lightweight Formal Methods for Computer Algebra Systems

Aldor Program Analysis | Formal Methods Tools | ISSAC 1998 | Mathematics | Veri Cation |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers