Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?-Reference-Cited by-同舟云学术

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Published:2019-11-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th Computer Science Education Research Conference on ZZZ
language:
Short-container-title:

Author:

Schoolderman Marc¹,Smetsers Sjaak¹,van Eekelen Marko²

Affiliation:

1. Radboud University, Nijmegen, The Netherlands

2. Open University of the Netherlands, Heerlen, The Netherlands and Radboud University

Funder

NWO/TTW

Publisher

ACM

Reference25 articles.

1. Invariant based programming: basic approach and teaching experiences

2. Programming pearls

3. Daniel J. Bernstein Bernard van Gastel Wesley Janssen Tanja Lange Peter Schwabe and Sjaak Smetsers . TweetNaCl: A crypto library in 100 tweets. In Diego Aranha and Alfred Menezes editors Progress in Cryptology - LATINCRYPT 2014 volume 8895 of Lecture Notes in Computer Science pages 64 -- 83 . Springer-Verlag Berlin Heidelberg 2015. Daniel J. Bernstein Bernard van Gastel Wesley Janssen Tanja Lange Peter Schwabe and Sjaak Smetsers. TweetNaCl: A crypto library in 100 tweets. In Diego Aranha and Alfred Menezes editors Progress in Cryptology - LATINCRYPT 2014 volume 8895 of Lecture Notes in Computer Science pages 64--83. Springer-Verlag Berlin Heidelberg 2015.

4. Francois Bobot. MPRI lecture 2-36-1. http://francois.bobot.eu/mpri2018/ 2018. Francois Bobot. MPRI lecture 2-36-1. http://francois.bobot.eu/mpri2018/ 2018.

5. Sebastian Böhne and Christoph Kreitz . Learning how to prove: From the coq proof assistant to textbook style. In Pedro Quaresma and Walther Neuper editors Proceedings 6th International Workshop on Theorem proving components for Educational software ThEdu@CADE 2017 Gothenburg Sweden 6 Aug 2017. volume 267 of EPTCS pages 1 -- 18 2017. Sebastian Böhne and Christoph Kreitz. Learning how to prove: From the coq proof assistant to textbook style. In Pedro Quaresma and Walther Neuper editors Proceedings 6th International Workshop on Theorem proving components for Educational software ThEdu@CADE 2017 Gothenburg Sweden 6 Aug 2017. volume 267 of EPTCS pages 1--18 2017.

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

1. Efficient Verification of Optimized Code;Lecture Notes in Computer Science;2021