Description Company: None

version	name	description	hours	level	publicprivate	price	access	contact
	Software verification with Frama-C: positioning and usage		22.5	Master	Private	17.000€	on-demand
	Introduction to Frama-C		11	Master	Private	8.000€	on-demand
	Platform virtualization and UNISIM-VP	45		Master	Private	34.000€	on-demand
	Frama-C Hackathon				Private	8.000€	on-demand