Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists-Reference-Cited by-同舟云学术

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

Author:

Creuse Léo,Dross Claire,Garion Christophe^ORCID,Hugues Jérôme^ORCID,Huguet Joffrey

Publisher

Springer International Publishing

Link

Reference20 articles.

1. AdaCore. Advanced SPARK - online course (2018). https://learn.adacore.com/courses/advanced-spark/index.html

2. AdaCore. Introduction to SPARK - online course (2018). https://learn.adacore.com/courses/intro-to-spark/index.html

3. AdaCore and Altran UK Ltd. SPARK 2014’s User Guide (2018). http://docs.adacore.com/spark2014-docs/html/ug/index.html

4. AdaCore and Altran UK Ltd. SPARK 2014’s User Guide (2019). http://docs.adacore.com/spark2014-docs/html/ug/index.html

5. AdaCore and Thales. Implementation Guidance for the Adoption of SPARK (2018). https://www.adacore.com/books/implementation-guidance-spark

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

2. Ivette: A Modern GUI for Frama-C;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023

3. When the Student Becomes the Teacher;Communications in Computer and Information Science;2021