Index of /~rseba/DIDATTICA/fm2024/SLIDES

	Name	Last modified	Size	Description
	Parent Directory		-
	00-overview_handouts.pdf	2024-02-27 08:46	152K
	00-overview_slides.pdf	2024-02-27 08:46	179K
	01-sat_handouts.pdf	2024-03-05 11:37	1.0M
	01-sat_slides.pdf	2024-03-05 11:37	1.8M
	02-smt-handouts.pdf	2024-05-09 15:14	1.3M
	02-smt-slides.pdf	2024-05-09 15:13	2.1M
	03-temporalLogics_handouts.pdf	2024-04-02 14:44	735K
	03-temporalLogics_slides.pdf	2024-04-02 14:44	1.2M
	04-ltlAutomata_handouts.pdf	2024-04-16 09:45	837K
	04-ltlAutomata_slides.pdf	2024-04-16 09:45	1.5M
	05-CTL-explicitstate_handouts.pdf	2024-04-18 08:32	622K
	05-CTL-explicitstate_slides.pdf	2024-04-18 08:32	1.0M
	06-SymbolicMc_handouts.pdf	2024-05-07 11:58	1.1M
	06-SymbolicMc_slides.pdf	2024-05-07 11:58	1.9M
	07-satbased-mc_handouts.pdf	2024-05-07 16:50	429K
	07-satbased-mc_slides.pdf	2024-05-07 16:50	869K
	08-AbstactionMC_handouts.pdf	2024-02-23 18:36	532K
	08-AbstactionMC_slides.pdf	2024-02-23 18:36	824K
	09-TimedHybridMC_handouts.pdf	2024-02-23 18:36	6.4M
	09-TimedHybridMC_slides.pdf	2024-02-23 18:36	7.1M
	10-smtbased-mc_handouts.pdf	2024-02-23 18:36	412K
	10-smtbased-mc_slides.pdf	2024-02-23 18:36	762K