Towards the Formal Specification and Verification of Maple Programs-Reference-Cited by-同舟云学术

Towards the Formal Specification and Verification of Maple Programs

Published:2012 Issue: Volume: Page:231-247
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Khan Muhammad Taimoor,Schreiner Wolfgang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31374-5_16

Reference22 articles.

1. Lecture Notes in Computer Science;M. Barnett,2005

2. Baudin, P., Filliâtre, J.C., Hubert, T., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI C Specification Language (preliminary design V1.2), preliminary edn. (May 2008)

3. Bobot, F., Filliâtre, J.-C., Marché, C., Paskevich, A.: Why3: Shepherd your herd of provers. In: Boogie 2011: First International Workshop on Intermediate Verification Languages, Wrocław, Poland (August 2011)

4. Cardelli, L.: Type Systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handbook, pp. 2208–2236. CRC Press (1997)

5. Carette, J., Forrest, S.: Mining Maple Code for Contracts. In: Ranise, S., Bigatti, A. (eds.) Calculemus. Electronic Notes in Theoretical Computer Science. Elsevier (2006)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Practical and Formal Security Risk Analysis of IoT (Internet of Things) Applications;2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA);2022-09-06

2. Towards Specifying Symbolic Computation;Lecture Notes in Computer Science;2019

3. A verification framework for minimaple programs;ACM Communications in Computer Algebra;2014-01-28

4. On the Formal Semantics of MiniMaple and its Specification Language;2012 10th International Conference on Frontiers of Information Technology;2012-12