Index of /~rseba/DIDATTICA/fm2022/VIDEO_CLASSES

	Name	Last modified	Size	Description
	Parent Directory		-
	00README	2022-03-01 16:50	916
	2022.03.01-CL01-CH00-IntroToTheCourse.mp4	2022-03-01 16:42	446M
	2022.03.01-CL01-CH01-1-AR-BooleanLogic.mp4	2022-03-01 16:41	160M
	2022.03.03-CL02-CH01-1-AR-BasicSAT.mp4	2022-03-03 14:49	331M
	2022.03.08-CL03-CH01-1-AR-CDCL.mp4	2022-03-08 12:57	491M
	2022.03.10-CL04-CH01-1-AR-OBDDs.mp4	2022-03-10 14:44	330M
	2022.03.14-CL05-CH01.1.AR-SATFunctionalities.mp4	2022-03-15 14:49	561M
	2022.03.17-CL06-CH02-1-AR-IntroductionSMT.mp4	2022-03-17 14:24	437M
	2022.03.22-CL07-CH02-1-AR-SMTSolving.mp4	2022-03-22 15:05	579M
	2022.03.24-CL08-Ch02-1-AR-TheoryCombination.mp4	2022-03-24 12:27	632M
	2022.03.29-CL09-CH02-1-AR-SMTFunctionalities.mp4	2022-03-29 14:58	527M
	2022.03.31-CL10-CH03-1-AR-KripkeModelsProperties.mp4	2022-03-31 12:13	309M
	2022.04.05-CL11.CH03-1-AR-LTL.mp4	2022-04-05 12:32	543M
	2022.04.07-CL12-CH03-1-AR-CTL.mp4	2022-04-07 12:09	325M
	2022.04.12-CL13-CH04-1-AR-BuchiAutomata.mp4	2022-04-12 12:31	469M
	2022.04.14-CL14-CH04-1-AR-AutomataLTLreasoning.mp4	2022-04-14 12:33	424M
	2022.04.19-CL15-CH05-1-FV-CTLmodelChecking.mp4	2022-04-19 12:00	417M
	2022.04.20-CL16-CH05-1-FV-InvariantChecking.mp4	2022-04-20 18:38	97M
	2022.04.20-CL16-CH06-2-FV-SymbolicRepresentationOfSystems.mp4	2022-04-20 18:40	190M
	2022.04.21-CL17-CH06-1-FV-SymbolicCTLModelChecking.mp4	2022-04-21 12:42	319M
	2022.04.26-CL18-CH06-1-FV-FairModelChecking.mp4	2022-04-26 13:08	447M
	2022.04.28-CL19-CH06-1-FV-LTLSymbolicModelChecking.mp4	2022-04-28 12:25	333M
	2022.05.03-CL20-CH07-1-FV-BoundedModelChecking.mp4	2022-05-03 13:25	430M
	2022.05.05-CL21-CH07-1-FV-KInduction.mp4	2022-05-05 12:21	320M
	2022.05.10-CL22-CH08-1-FV-CEGAR.mp4	2022-05-11 00:02	473M
	2022.05.12-CL23-CH09-1-FV-TimedAutomata.mp4	2022-05-12 12:20	308M
	2022.05.17-CL24-CH09-1-FV-RegionAutomata.mp4	2022-05-17 18:03	443M
	2022.05.19-CL25-CH09-1-FV-ZoneAutomata.mp4	2022-05-19 12:13	365M
	2022.05.24-CL26-CH09-1-FV-HybridAutomata.mp4	2022-05-24 12:29	501M
	2022.05.26-CL27-CH09-1-FV-LinearHybridAutomata.mp4	2022-05-26 12:47	307M
	2022.05.31-CL28-CH10-1-FV-BMCTimedHybrid.mp4	2022-05-31 12:50	434M
	2022.06.01-CL29-QuestionsAndAnswers.mp4	2022-06-01 13:41	440M