On Formal Specification of Maple Programs

DOI10.1007/978-3-642-31374-5_33zbMath1360.68939arXiv1207.2291OpenAlexW2151263772MaRDI QIDQ2907346

Muhammad Taimoor Khan, Wolfgang Schreiner

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.2291

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Maple
• Why3
• MiniMaple
• DifferenceDifferential

This page was built for publication: On Formal Specification of Maple Programs