Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -

Download PDF
Open Webpage

Antonio Cerone, Markus Roggenbach, James H. Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay V. Shilov, Rustam Zhumagambetov

Published: 01 Jan 2019, Last Modified: 29 Jan 2025FMFun 2019EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates