Index of /~rseba/DIDATTICA/fm2023/SLIDES

	Name	Last modified	Size	Description
	Parent Directory		-
	00-overview_handouts.pdf	2023-02-24 10:12	117K
	00-overview_slides.pdf	2023-02-24 10:12	141K
	01-sat_handouts.pdf	2023-03-14 12:22	740K
	01-sat_slides.pdf	2023-03-14 12:22	1.3M
	02-smt-handouts.pdf	2023-03-29 14:41	1.0M
	02-smt-slides.pdf	2023-03-29 14:41	1.6M
	03-temporalLogics_handouts.pdf	2023-04-04 12:26	586K
	03-temporalLogics_slides.pdf	2023-04-04 12:26	971K
	04-ltlAutomata_handouts.pdf	2023-04-13 12:36	835K
	04-ltlAutomata_slides.pdf	2023-04-13 12:36	1.4M
	05-CTL-explicitstate_handouts.pdf	2023-04-14 12:09	622K
	05-CTL-explicitstate_slides.pdf	2023-04-14 12:09	1.0M
	06-SymbolicMc_handouts.pdf	2023-05-01 17:17	1.0M
	06-SymbolicMc_slides.pdf	2023-05-01 17:17	1.9M
	07-satbased-mc_handouts.pdf	2023-05-05 17:15	429K
	07-satbased-mc_slides.pdf	2023-05-05 17:15	870K
	08-AbstactionMC_handouts.pdf	2023-05-11 11:52	532K
	08-AbstactionMC_slides.pdf	2023-05-11 11:52	824K
	09-TimedHybridMC_handouts.pdf	2023-05-25 12:32	6.4M
	09-TimedHybridMC_slides.pdf	2023-05-25 12:32	7.1M
	10-smtbased-mc_handouts.pdf	2023-05-30 12:46	412K
	10-smtbased-mc_slides.pdf	2023-05-30 12:46	762K