Conference: FMTea19 (Formal Methods Teaching Workshop and Tutorial)

Conference: FMTea19 (Formal Methods Teaching Workshop and Tutorial)

This page shows all presentations from this conference published in EasyChair Smart Slide.

On Teaching Applied Formal Methods in Aerospace Engineering

On Teaching Applied Formal Methods in Aerospace Engineering

Kristin Yvonne Rozier

Using Krakatoa for teaching formal verification of Java programs

Using Krakatoa for teaching formal verification of Java programs

Jose Divasón and Ana Romero

Efficient online homologation to prepare students for formal methods courses

Efficient online homologation to prepare students for formal methods courses

pseuCo.com

Felix Freiberger and Holger Hermanns

Teaching Deductive Verification in Why3 to Undergraduate Students

Teaching Deductive Verification in Why3 to Undergraduate Students

Principled and pragmatic specification of programming languages

Principled and pragmatic specification of programming languages

Adrian Johnstone and Elizabeth Scott

Is Formal Methods really essential?

Is Formal Methods really essential?

Teaching deductive verification through Frama-C and SPARK

Teaching deductive verification through Frama-C and SPARK

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

Logic, Algebra, and Geometry at the Foundation of Computer Science

Logic, Algebra, and Geometry at the Foundation of Computer Science

Tony Hoare, Alexandra Mendes and Joao F. Ferreira

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach

Opening remarks at FMTea19

Opening remarks at FMTea19

Luigia Petre, Brijesh Dongol and Graeme Smith

Presentations in this collection: 11